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