bimap f g ≡ first f . second g
>>> bimap toUpper (+1) ('j', 3) ('J',4)
>>> bimap toUpper (+1) (Left 'j') Left 'J'
>>> bimap toUpper (+1) (Right 3) Right 4