> I understand what it means when someone says that a monad is a monoid in the category of endofunctors.

Finally, someone who understands the magic sentence.