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