Represents a value of one of two possible types.
An instance of Either is an instance of either Left or Right. It is right-biased, meaning it's the default case to operate on.
Left
Right
Right-biased map.