RE: [Haskell-cafe] Template Haskell and Types