"What the heck is a monoid, and how is it different from a monad"