This looks like a paragraph which is meaningful in the context of a specific school of thought. It reminds me of the classic (that is, classic on HN):

> A monad is just a monoid in the category of endofunctors, what's the problem?

Some works are just hard to grasp if you haven't first assimilated the introductory works to the field.