> If a tree is an unshared value type (eg. there are no references), then a functional tree update is O(n). Using shared references, this is O(n²).

I meant O(n) vs O(log n) of course. Not sure what happened there.