Re: [GHC] #8460: Annotation reification with types in TH