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