j
k
j a
j l
...class (Eq (forall a. t a), Monad t) => C t more logically, class (forall a. Eq (t a), Monad t) => C t
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
Back to the thread
Back to the list
