Hacker News Reader

No introduction necessary, monads are just monoids in the category of endofunctors.

Wrong way around. They want to know what monoids are. So you have to tell them that monoids are just modules of the list monad. ;-)

Or that a monoid is merely a category with exactly one object.