Re: [GHC] #11987: Allow record wildcards with pattern synonyms which are defined in GHCi (was: Allow record wildcards with pattern synonyms)