Added MInvariant, for invariant functors in the category of monads.