[taberiand]

If you squint just a little more you'll notice a monad is just a monoid in the category of endofunctors.