Re: [Haskell-cafe] Where is the "convergence point" between Category Theory and Haskell?