current list, the tail of the current list, and the result of continuing to
fold `f` over the tail, with a given base value `z`.
current list, the tail of the current list, and the result of continuing to
fold `f` over the tail, with a given base value `z`.