I know right? And a monad is just a monoid in the category of endofunctors. What's the problem?