Generalise Data.Metric.Vector.Real.Discrete to arbitrary sets.