"My understanding is that you can essentially generalize algebraic structures to things other than sets and functions, and a monad is just a monoid generalized like that." . . . . .