Define message-m monad.