Re: [GHC] #11228: Interaction between ORF and record pattern synonyms needs to be resolved.