3 ms·

Yeah... I really just wanted to translate "monoid in the category of endofunctors" into vocabulary that the average programmer would understand. IMHO the artic

• marcosdumay 8y ago
  There are some people that can intuitively understand "monoid in the category of endofunctors", but there are many that don't. I find it much easier to understand a monad as a general implementation of the interpreter pattern, a monoid as a generalization of things that can be concatenated, and an endofunctor as a generalization of a container. That a monad is a monoid in the category of endofunctors then become an interesting property, not some ab-initio definition.