Type vs Constraint

[Simon Peyton Jones]

Dear GHC devs and core libraries committee

Can I draw your attention to

https://gitlab.haskell.org/ghc/ghc/-/issues/21623

This ticket makes specific proposals for how to move forward on the
long-standing, and increasingly painful issue of *whether or not Constraint
and Type are equal in GHC's type system*.

We'd love to know what you think.  Please respond on the ticket.  The
changes affect only GHC internals, so we aren't planning a GHC proposal,
but the ticket is essentially a full proposal anyway.  It affects only GHC
internals, but there are some users who rely on GHC internals, which is why
we are seeking your opinions.

Thanks

Simon
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20220526/009945c7/attachment.html>