Tree traversals

The following technique enables both preorder and postorder tree traversals (among others) with one parameterised fold. Arguably, it is mostly interesting when the node that contribute to the updating of the accumulator are not many.