The node you are looking for is at
Examples of correct code using type quantifiers
.