And a monad is just a monoid in the category of endofunctors.
This stuff is not obvious to everyone. The arbitrary numbers are called an example.
The point of the article is to say, when you experience a plateau and you begin to speculate why, it’s mathematically expectable.