A monad is just a monoid in the category of endofunctors A monad is just a monoid in the category of endofunctors,what is the problem?