Unions

A wrapper type to construct uninitialized instances of T.