Map the right value of this Either to a new value. Left values are unmodified.
The type of left value
The current type of right value
The new type of right value
A mapping function which turns an R into an R2