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); }.