Re: [GHC] #13578: Incorrect Record Pattern Synonym example in users guide