derived instances of Eq and TotalEq for IpAddr rather than implement them manually.