Comment by ultimatefan1

this has a real "a monad is a monoid in the category of endofunctors" energy to it