Automatically derive `TotalEq` whenever `Eq` is derived.