Re: [GHC] #13470: Pattern synonyms bind variables out of scope