I like the Einstein approach to explaining this: imagine you have a cat, and the cat has a monoid in the category of endofunctors. Now a monad is exactly the sa

I like the Einstein approach to explaining this: imagine you have a cat, and the cat has a monoid in the category of endofunctors. Now a monad is exactly the same thing except there's no cat.