Re: [GHC] #5406: Template Haskell: Reification of type family instances