The only reason I go to the gym is to train my patience --- A monad is just a monoid in the category of endofunctors