As I've heard it explained, monads are simply monoids on the category of endofunctors, or something.
(I know what monoids are in group theory, and have a vague glimpse that functors are maps between categories. I figure that endofunctors are functors from a category to itself; how they come to be their own category or how monoids even apply, well.)
(I know what monoids are in group theory, and have a vague glimpse that functors are maps between categories. I figure that endofunctors are functors from a category to itself; how they come to be their own category or how monoids even apply, well.)