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

_______________________________________________
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell

Reply via email to