RE: forall and class contexts

At 2002-10-16 00:40, Simon Peyton-Jones wrote:

Not currently, but I think it makes sense, and I'll implement it if enough people ask.

That's two. FWIW, my pint offer still stands.

Presumably you mean 'instance' not 'class'? A class decl always has a type variable after the =>; thus ...=> C a.

Unless Wolfgang meant class (Eq (forall a. t a), Monad t) => C t -- Ashley Yakeley, Seattle WA