Re: [GHC] #11667: Incorrect pattern synonym types in error messages