The node you are looking for is at
Existential class constraints
.