Propsal: NoDatatypeContexts

Ian Lynagh igloo at
Sun Jul 18 17:59:33 EDT 2010

Hi all,

H98 and H2010 allow a context to be given for datatypes, e.g. the
"Eq a" in

    data Eq a => Foo a = Constr a

I have made a proposal to remove support for that context (ticket #139).
More details are on the proposal wiki page:


More information about the Haskell-prime mailing list