Left package:lens-family-core

left :: Prism (Either a r) (Either b r) a b
A prism on the Left element of an Either.
left_ :: Traversal (Either a r) (Either b r) a b
Traversal on the Left element of an Either.
left_ = under left