[Haskell-cafe] A question about "An introduction to Category theory in four easy movements"