As a Haskeller, I feel obliged to say that that is a parody. A self-parody, perhaps, but a parody nonetheless. In reality, the vast majority of Haskellers (including me!) wouldn’t have a clue what that sentence means — but we’re content to use monads nonetheless, because having a knowledge of the category theory underlying monads is unnecessary if you just want to use them in Haskell.