>>> bimapBoth length ([True], [False, True]) (1,2) >>> map (bimapBoth not) [Left True, Right False] [Left False,Right True]
>>> bimapF not length $ Just (False, ['a', 'b']) Just (True,2)
bimapDefault f g ≡ runIdentity . bitraverse (Identity . f) (Identity . g)