Existential type

A type spelled with any that can hold a value of any current concrete type conforming to a protocol.