Data.MonadicStreamFunction.ArrowPlus