[seanmcdirmid]

You still need consistent object identities to do that, which are then tantamount to mutability (they are equivalent with equivalent problems related to consistency, and similar solutions).

[MarkPNeyer]

can you elaborate?