I'm pretty sure a monad is just an endoid in the category of monofunctors?