An abstract type that can represent one of three possible types.

See also: