The monad's constructor is M.make