<div dir="ltr"><div class="gmail_default" style="font-family:tahoma,sans-serif">Dear GHC devs and Core Libraries folk<br></div><div class="gmail_default" style="font-family:tahoma,sans-serif"><br></div><div class="gmail_default" style="font-family:tahoma,sans-serif">The tension between Type and Constraint (are they equal or not?) has plaugued GHC for years.</div><div class="gmail_default" style="font-family:tahoma,sans-serif"><br></div><div class="gmail_default" style="font-family:tahoma,sans-serif">This <a href="https://github.com/ghc-proposals/ghc-proposals/pull/518">GHC proposal #518</a> suggests how to fix it. <br></div><div class="gmail_default" style="font-family:tahoma,sans-serif"><br></div><div class="gmail_default" style="font-family:tahoma,sans-serif">Please do offer your thoughts.</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>