| There are a couple sensible removals here. Do we also want to get rid | of the useless class contexts on data-declarations? (that look like | "data Ord a => Set a = Set ...")
Yes! Yes! Kill them. (In GHC's source code these contexts are consistently called stupid_theta.) Simon _______________________________________________ Haskell-prime mailing list Haskell-prime@haskell.org http://www.haskell.org/mailman/listinfo/haskell-prime