[GHC] #10787: Incorrect code example for pattern synonyms