Re: [GHC] #15530: Type applications in patterns