Re: [GHC] #14747: DisambiguateRecordFields fails for PatternSynonyms