¿Es posible obtener un tipo de expresión utilizando Template Haskell?

¿Obtener los nombres de campo de un registro Haskell como una lista de cadenas?

Di que tengo lo siguiente: data Rec = Rec { alpha :: Int, beta :: Double, phi :: Float } sample = Rec 1 2.3 4.5 Entiendo Template Haskell y elreifya función @ puede obtener los nombres de campo del registro. Es decir print $(f sample) --> ...