[Haskell-cafe] Category theory as a design tool