Hello,
I want to define something like
class (Eq (forall a. T a), Monad T) => C T
where the context shall mean that T has to be an instance of Monad and
that for every type a the type T a has to be an instance of Eq.
Is such a thing possible with some Haskell implementation?
Wolfgang