You can still optimize better with immutable types, because if you are diffing you are most likely diffing objects that share a lot of data, and for those subse

You can still optimize better with immutable types, because if you are diffing you are most likely diffing objects that share a lot of data, and for those subsections of the tree you can still do an `===` equality check and skip it during the diffing process.