Wouldn't that be an argument for using an immutability library then? If you can implement a shallow equality that takes shared structures into account, what abo

Wouldn't that be an argument for using an immutability library then? If you can implement a shallow equality that takes shared structures into account, what about non-immutable structures makes them a more efficient option for such a thing?