"A monad is a monoid in the category of endofunctors" But what does that mean? [video] | Hacker News Reader