The node you are looking for is at
Syntax for explicit type quantifiers
.