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 mona

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.