Type vs Constraint

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