Handle type applications in patterns