Type family constraints

Alan & Kim Zimmerman alan.zimm at gmail.com
Mon Apr 23 15:25:26 UTC 2018

Thanks Richard

Ryan Scott has also put together a solution[1], which is basically what you

But in terms of trying to clean up the code by removing a straightforward
constraint type,
I think this solution adds more complexity than it removes.

So I will leave it as it is.


[1] http://lpaste.net/365181
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20180423/ad44d14b/attachment.html>

More information about the ghc-devs mailing list