Re: [GHC] #8109: Type family patterns should support as-patterns.