Re: [GHC] #9784: Improve error message for misplaced quote inside promoted qualified type