left

Either!(, B) functor at A.

Either!(A, B)
left
(
B
A
)
(
A a
)

Meta