Re: [GHC] #8966: Pattern synonyms and kind-polymorphism