> It's a lot more comforting that I can't slip up and accidentally do X. Indeed, this is why value semantics (i.e. structural equality) for language constructs

> It's a lot more comforting that I can't slip up and accidentally do X. Indeed, this is why value semantics (i.e. structural equality) for language constructs like ADTs is so wonderful. Because a program can never observe "identity", which is an implementation detail, the implementation doesn't have to use objects at all underneath. That opens a whole host of value representation options that aren't otherwise available.