Data.MonadicStreamFunction.Instances.ArrowLoop