existential type

Noun

 * 1)  A type that hides the underlying concrete type(s).