Arrow_choice.WITH_ARROW_AND_FST_AND_LEFT
Minimal definition using arrow
and fst
and left
.
Feed marked inputs through the argument arrow, passing the rest through unchanged to the output.
val arrow : ('a -> 'b) -> ('a, 'b) t
Lift a function to an Arrow
.