[Haskell-cafe] New Category Theory Intros