In the above example intT { a: int; f: (int → int); } could also have the type ∃X { a: X; f: (int → int); }.
Στο παραπάνω παράδειγμα, ο intT { a: int; f: (int → int); } θα μπορούσε να έχει επίσης τύπο ∃X { a: X; f: (int → int); }.