left :: Prism (Either a r) (Either b r) a b
left_ :: Traversal (Either a r) (Either b r) a b
left_ = under left