If only mutable value semantics are allowed, then how can you represent an object graph with circular references (let’s say HTML DOM, for example) while still allowing modifying the objects?
Seems like this would be very difficult to work with in practice.