Previously, the deepest holes were evaluated first, even when they
were syntactically positioned after some previous ones at a shallower
level.

Making the Folds into Traversals had the nice effect of forcing a
single-pass implementation of what was previously done in two stages,
causing the unintuitive evaluation order. Always trust your
Applicative functors, they won't betray you.