[Haskell-cafe] Category Theory Questions