A value that either contains one wrapped value of a declared type or represents absence.
Also known as optional