Check for Monad constraints in Monad* typeclasses

[chshersh]

If you define a typeclass like MonadBlah, it should have Monad in its context:

class Monad m => MonadBlah m where