right

Either!(A, ) functor at B.

Either!(A, B)
right
(
A
B
)
(
B b
)

Meta