A value that represents the existance (or lack thereof) of another value.
The type of the wrapped value
A value that represents the existance (or lack thereof) of another value.