left

Either!(, B) functor at A.

  1. Either!(A, B) left(A a)
    Either!(A, B)
    left
    (
    B
    A
    )
    (
    A a
    )
  2. Either!A left(A a)

Meta