This is a type system extension that allows types that are existentially quantified, or, in other words, have type variables that only get instantiated at runtime†.
A value of existential type is similar to an abstract-base-class reference in OO languages: you don't know the exact type in contains,...