Existential Type

Um Existential Type (tipo existencial) é um conceito em teoria dos tipos que descreve um tipo que 'existe', mas que não é especificado externamente. Permite a criação de tipos de dados abstratos, escondendo a implementação concreta por trás de uma interface.