[Haskell-cafe] Template Haskell reified type.