The node you are looking for is at
Existentially typed data types
.