Module type Choice.WITH_RIGHT

Minimal interface using right and without Profunctor.

type ('a, 'b) t

The type held by the Choice Profunctor.

val right : ('a, 'b) t -> (('c, 'a) Stdlib.Either.t, ('c, 'b) Stdlib.Either.t) t

Act on the right parameter of the sum.