At 2002-10-16 01:07, Ashley Yakeley wrote:

>  class (Eq (forall a. t a), Monad t) => C t

more logically,

  class (forall a. Eq (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