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