Re: [GHC] #15551: TH-reified type classes have redundant tyvars/class constraints on each method