Re: [GHC] #9642: LANGUAGE pragma synonyms