What does the phrase "A monad is a monoid in the class of endofunctors" mean?