A value that can be one of two types.