leftApp

leftApp :: ArrowApply a => a b c -> a (Either b d) (Either c d)
base Control.Arrow
Any instance of ArrowApply can be made into an instance of ArrowChoice by defining left = leftApp.