Re: [GHC] #8968: Type signatures for pattern synonyms (was: Pattern synonyms and GADTs)