On Wednesday, 2002-10-16, 10:07, CEST, Ashley Yakeley wrote: > [...] > > > 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 This is exactly what I meant. > [...] Wolfgang