[Haskell-cafe] Reify type