Obtener sinónimos de tipo asociados con template Haskell

¿Puede la plantilla Haskell averiguar los nombres y/o las declaraciones de los sinónimos de tipo asociados declarados en una clase de tipo? Yo esperaba reify haría lo que quisiera, pero no parece proporcionar toda la información necesaria. Funciona para obtener firmas de tipo de función:

% ghci
GHCi, version 7.8.3: http://www.haskell.org/ghc/  :? for help
...
Prelude> -- I'll be inserting line breaks and whitespace for clarity
Prelude> -- in all GHCi output.
Prelude> :set -XTemplateHaskell 
Prelude> import Language.Haskell.TH
Prelude Language.Haskell.TH> class C a where f :: a -> Int
Prelude Language.Haskell.TH> putStrLn $(stringE . show =<< reify ''C)
ClassI (ClassD [] Ghci1.C [PlainTV a_1627398388] []
               [SigD Ghci1.f
                     (ForallT [PlainTV a_1627398388]
                              [ClassP Ghci1.C [VarT a_1627398388]]
                              (AppT (AppT ArrowT (VarT a_1627398388))
                                    (ConT GHC.Types.Int)))])
       []

Sin embargo, agregar un sinónimo de tipo asociado a la clase no causa ningún cambio (hasta cambiar el nombre) en la salida:

Prelude Language.Haskell.TH> :set -XTypeFamilies 
Prelude Language.Haskell.TH> class C' a where type F a :: * ; f' :: a -> Int
Prelude Language.Haskell.TH> putStrLn $(stringE . show =<< reify ''C')
ClassI (ClassD [] Ghci3.C' [PlainTV a_1627405973] []
               [SigD Ghci3.f'
                     (ForallT [PlainTV a_1627405973]
                              [ClassP Ghci3.C' [VarT a_1627405973]]
                              (AppT (AppT ArrowT (VarT a_1627405973))
                                    (ConT GHC.Types.Int)))])
       []

Si conozco el nombre de F, puedo buscar información sobre it:

Prelude Language.Haskell.TH> putStrLn $(stringE . show =<< reify ''F)
FamilyI (FamilyD TypeFam
                 Ghci3.F
                 [PlainTV a_1627405973]
                 (Just StarT))
        []

Pero no puedo encontrar el nombre de F en primer lugar. Incluso si añado una instancia de la clase type, el InstanceD no tiene ninguna información sobre la definición:

Prelude Language.Haskell.TH> instance C' [a] where type F [a] = a ; f' = length
Prelude Language.Haskell.TH> f' "Haskell"
7
Prelude Language.Haskell.TH> 42 :: F [Integer]
42
Prelude Language.Haskell.TH> putStrLn $(stringE . show =<< reify ''C')
ClassI (ClassD [] Ghci3.C' [PlainTV a_1627405973] []
               [SigD Ghci3.f'
                     (ForallT [PlainTV a_1627405973]
                              [ClassP Ghci3.C' [VarT a_1627405973]]
                              (AppT (AppT ArrowT (VarT a_1627405973))
                                    (ConT GHC.Types.Int)))])
       [InstanceD []
                  (AppT (ConT Ghci3.C')
                        (AppT ListT (VarT a_1627406161)))
                  []]

Si reify no funciona, ¿hay una solución alternativa, aparte de enumerar manualmente los sinónimos de tipo asociado?

Este problema está presente en GHC 7.8.3 con la versión 2.9.0.0 del paquete template-haskell; también estaba presente en GHC 7.4.2 con la versión 2.7.0.0 del paquete template-haskell. (Me no comprobé el GHC 7.6.* , pero me imagino que estaba presente allí también.) Estoy interesado en soluciones para cualquier versión de GHC (incluyendo " esto solo se arregló en la versión de GHC V ").