=== Existential types ===Existential types are frequently used in connection with record types to represent modules and abstract data types, due to their ability to separate implementation from interface.
Понятие экзистенциального типа часто используется совместно с понятием типа записи для представления модулей и абстрактных типов данных, что обусловлено их назначением — отделением реализации от интерфейса.