existential type

== English == === Noun === existential type (plural existential types) (programming, type systems) A type that hides the underlying concrete type(s). Synonym: existential Used other than figuratively or idiomatically: see existential,‎ type. === Further reading === Type system § Existential types on Wikipedia.Wikipedia