Existential Types

Work with protocols as types to store heterogenous collections of conforming objects.