Okay. We can merge. We can use `Equiv[T]` to check equality, and define Equiv on these problematic nodes as we need, perhaps.