Malcolm Wallace <malcolm.wallace <at> me.com> writes: > The class context on the data constructor buys you nothing extra in terms of expressivity in the language. > All it does is force you to repeat the context on every function that uses the datatype. For this reason, the > language committee has decided that the feature will be removed in the next revision of Haskell. > > Regards, > Malcolm
Why not infer class contexts from type or data constructors, instead of ignoring them? Having to repeatedly state redundant type information is not a desirable state of affairs. _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
