Re: [Haskell-cafe] Category theory as a design tool