A Either type that represents one of two types.