New post: monad is just a monoid