Namespace Exists

Exists represents an existential quantified type. It is useful to express the model that the object which decides what kind of object is held.