Re: [GHC] #8828: Type pattern synonyms (was: allow fully applied type families in instance heads)