haskell - Template Haskell splice 内の型ファミリ インスタンスを正規化する

Question

パッケージを使用してgenifunctors、定義に型ファミリが含まれる型のファンクター インスタンスを生成しています。

最初のモジュールは、データ型自体を定義します。

{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE DataKinds #-}
module Temp where

data Record (p :: (*,*))

type family Fst p where Fst (Record '(a,b)) = a
type family Snd p where Snd (Record '(a,b)) = b

data Bar s = Bar {
  field_a :: Fst s,
  field_b :: Snd s
}

newtype Baz a = Baz { getBaz :: Bar (Record '(Maybe a, [a])) }

これは期待どおりに機能します。

λ> import Temp 
λ> :t Baz $ Bar (Just "a") ["b"] 
Baz $ Bar (Just "a") ["b"] :: Baz [Char]

Functorインスタンスは別のモジュールで定義されます。

{-# LANGUAGE TemplateHaskell #-}
module Temp2 where

import Temp

import Data.Generics.Genifunctors

instance Functor (Baz a) where
  fmap = $(genFmap ''Baz)

そして、このエラーが発生します：

λ> import Temp1
src/Temp2.hs:9:12-24: Exception when trying to run compile-time code: …
  unexpected TyCon: FamilyI (ClosedTypeFamilyD Temp.Fst [PlainTV p_1627394000] (Just StarT) [TySynEqn [AppT (ConT Temp.Record) (AppT (AppT (ConT GHC.Tuple.(,)) (VarT a_1627394001)) (VarT b_1627394002))] (VarT a_1627394001)]) []
Code: genFmap ''Baz
In the splice: $(genFmap ''Baz)

これは、 がまたは宣言からの型コンストラクターのみを処理できるためgenifunctorsです。geniplatenewtypedata

これは、再帰的に検査する前に型を正規化することで修正できます。

では、Template Haskell splice 内でこれを行う方法はありますか? (つまり、Qモナド内?)