Re: [GHC] #8968: Pattern synonyms and GADTs