A monad is just a monoid in category of endofunctors