> Maybe my coffee just hasn't kicked in yet, but how does `share' work? > Some kind of common-subobject-elimination? It just seems that the > equality test would be prohibitively expensive. I assume it uses hash consing, where mutable objects are always not equal.