Re: [GHC] #5144: Pattern synonyms