No need for reference equality operator; regular equality suffices, and we can short-circuit it to work without touching the contained data, because of the guarantee of the Distinct interface.