Next:
Existential class constraints
, Up:
Existential types
11.1 Existentially typed predicates and functions
Syntax for explicit type quantifiers
Semantics of type quantifiers
Examples of correct code using type quantifiers
Examples of incorrect code using type quantifiers