Fix tests, remove overlapping instance for Eq []