:: (x -> y) -> (p -> q) -> Either x p -> Either y q package:relude

A default definition of bimap in terms of the Bitraversable operations.
bimapDefault f g ≡
runIdentity . bitraverse (Identity . f) (Identity . g)