Re[2]: [Haskell-cafe] Type vs TypeClass duality