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 _______________________________________________ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
