I see traces of OP getting to understand the joke "A monad is just a monoid in the category of endofunctors, what's the problem?" :)