In the above example intT { a: int; f: (int → int); } could also have the type ∃X { a: X; f: (int → int); }.
Ve výše uvedeném příkladu int T = { a: int; f:(int → int);}, může mít také typ ∃X { a: X; f: (int → int); }.