Data.MonadicStreamFunction.ArrowChoice