Equality, like copying, is often more complicated than that. You often run into a problem where you need a domain-specific equality function for your objects.

Equality, like copying, is often more complicated than that. You often run into a problem where you need a domain-specific equality function for your objects. Which is not to say that automatic derivation of generic functions is not useful, but it's not really a game changer.