Left package:vcr

Feed marked inputs through the argument arrow, passing the rest through unchanged to the output.
Any instance of ArrowApply can be made into an instance of ArrowChoice by defining left = leftApp.