深い構造体は同値性一つ取っても、
多種多様な意味付け方があるし、コピーだって同じだよ。

Lispみたいにメモリ管理については無視していい言語でさえ、
同値性は4つの述語関数がある。

>>581はそういうこと言っていると思う。

まあどれか決め撃ちで作ったり、
テンプレートでコンパイル時に選べるのを作るのは面白いと思う。