existential type noun1 •In a type system: a type that hides the underlying concrete type(s).Existential types are fundamentally no more complicated than universal types (in fact, we will see in §24.3 that existentials can straightforwardly be encoded in terms of universals). — 2002 formsexistential types
