> The insight here is that a loop over zero elements never executes For a more general discussion of this insight, see Wadler, "How to Replace Failure by a Lis

> The insight here is that a loop over zero elements never executes For a more general discussion of this insight, see Wadler, "How to Replace Failure by a List of Successes" (1985).