16 Oct
2002
16 Oct
'02
5:56 p.m.
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