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