Dear GHC devs and core libraries committee

Can I draw your attention to

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