catafold

			catafold(f, xtree, state)

Fold a function f : (node, state) -> (node', state') post-order over xtree and return a modified tree as well as the resulting state.

Use cata for a stateless catamorphism and fold if you don't want to transform xtree.