I would argue the concepts of monoid objects and the category of endofunctors on an object are simpler than that of monads, so this description does help. I come from a math background and had never seen this quote before, and I think it has given me a definition of (mathematical) monads that I can remember.
Haskell, unfortunately, is still quite opaque to me.
Haskell, unfortunately, is still quite opaque to me.