Big "a monad is just a monoid in the category of endofunctors" vibes from this one.