RE: forall and class contexts

16 Oct 2002


      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