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