> > class (Eq (forall a. t a), Monad t) => C t > > more logically, > > class (forall a. Eq (t a), Monad t) => C t
and more usefully, class (forall a . Eq a => Eq (t a), Monad t) => C t - Hal _______________________________________________ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
