Re: [GHC] #9608: Type level as-patterns