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 suggests how to fix it.

Please do offer your thoughts.

Simon