parameter lists for generic applications are expressions, not tuple types
don't overreach when matching a type ascription