This only works if you know what to edit up-front. If you're processing a tree-like structure via recursion (e.g. type-checking an AST implemented with persist

This only works if you know what to edit up-front. If you're processing a tree-like structure via recursion (e.g. type-checking an AST implemented with persistent immutable structures in a compiler) it's no longer easy.