M namespace for Monad