Re: [GHC] #10339: PatternSynonyms confuse exhaustiveness check