remove need for decidable equality.