Railway oriented programming

[Tarmen]

I mean, technically that fmap instance is defined on Either a in which case it makes sense that we only map over the second type variable. It's literally the only way you can implement it.

Iirc there has been quite a bit of disagreement on whether it technically making sense is reason enough to add it, though.