The phrase appears 6 chapters into a graduate mathematic text on category theory. If one reads the preceding chapters, it is a useful but pithy explanation for what a monad is, using terms which have all already been covered. Its use outside of that context is basically just a joke towards the Haskell community being overly mathematical.