Можно ли получить тип любого выражения, используя Template Haskell?

Получить имена полей записи Haskell в виде списка строк?

Скажем, у меня есть следующее: data Rec = Rec { alpha :: Int, beta :: Double, phi :: Float } sample = Rec 1 2.3 4.5Я понимаю шаблон Haskell & thereify Функция может получить мне имена полей записи. Это: print $(f sample) --> ["alpha", "beta", ...

Можно ли получить тип любого выражения, используя Template Haskell?

Дано выражениеfooЯ мог бы объявить функцию верхнего уровня bar = fooи получить типfoo какType поматериализации [http://hackage.haskell.org/package/template-haskell-2.8.0.0/docs/Language-Haskell-TH.html#g:4] bar: case reify 'bar of VarI _ t _ _ ...