implement ArrowChoice for kleisli
arrow-choice