- In this case, f wouldn't need to consult the result of folding f and z over [2;
- 1], since if we had found the element 3 in more rightward positions of the
- list, we'd have called the abort handler and this application of f to 3 etc
- would never be needed. However, in other applications the result of folding f
- and z over the more rightward parts of the list would be needed. Consider if
+ In this case, `f` wouldn't need to consult the result of folding `f` and `z` over `[2;
+ 1]`, since if we had found the element `3` in more rightward positions of the
+ list, we'd have called the abort handler and this application of `f` to `3` etc
+ would never be needed. However, in other applications the result of folding `f`
+ and `z` over the more rightward parts of the list would be needed. Consider if