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