This doesn't work for a mutating traversal in general (although it can work if the tree structure is split from the data being stored, so only a subset of the p

This doesn't work for a mutating traversal in general (although it can work if the tree structure is split from the data being stored, so only a subset of the parent needs to be passed into the recursive calls).