Noun
(programming, type systems) A type that hides the underlying concrete type(s). Synonym: existential
Used other than figuratively or idiomatically: see existential, type.