forall and class contexts

[Ashley Yakeley]

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