Monads are just monoids in the category of endofunctors, after all.