Type vs Constraint

Mon Jun 13 10:29:03 UTC 2022

Dear GHC devs and Core Libraries folk

The tension between Type and Constraint (are they equal or not?) has
plaugued GHC for years.

This GHC proposal #518
<https://github.com/ghc-proposals/ghc-proposals/pull/518> suggests how to
fix it.

Please do offer your thoughts.

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