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
_______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
