Re: [GHC] #13454: Operators not allowed as fields in Record Pattern Synonyms