Re: [GHC] #8507: ConstraintKinds TH regression from 7.6 -> 7.7