<div dir="ltr"><div class="gmail_default" style="font-family:tahoma,sans-serif">Dear GHC devs and core libraries committee<br></div><div class="gmail_default" style="font-family:tahoma,sans-serif"><br></div><div class="gmail_default" style="font-family:tahoma,sans-serif">Can I draw your attention to</div><div class="gmail_default" style="font-family:tahoma,sans-serif"><br></div><div class="gmail_default" style="font-family:tahoma,sans-serif;margin-left:40px"><a href="https://gitlab.haskell.org/ghc/ghc/-/issues/21623">https://gitlab.haskell.org/ghc/ghc/-/issues/21623</a></div><div class="gmail_default" style="font-family:tahoma,sans-serif;margin-left:40px"><br></div><div class="gmail_default" style="font-family:tahoma,sans-serif">This ticket makes specific proposals for how to move forward on the long-standing, and increasingly painful issue of <b>whether or not Constraint and Type are equal in GHC's type system</b>.</div><div class="gmail_default" style="font-family:tahoma,sans-serif"><br></div><div class="gmail_default" style="font-family:tahoma,sans-serif">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.</div><div class="gmail_default" style="font-family:tahoma,sans-serif"><br></div><div class="gmail_default" style="font-family:tahoma,sans-serif">Thanks</div><div class="gmail_default" style="font-family:tahoma,sans-serif"><br></div><div class="gmail_default" style="font-family:tahoma,sans-serif">Simon<br></div></div>