Data.MonadicStreamFunction.ArrowLoop