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.
Existenční typy jsou často používány ve spojení se záznamovými typy reprezentujícími moduly a abstraktní datové typy, vzhledem k jejich schopnosti oddělit implementaci od rozhraní.