pub type DistanceValue<K, V = K> = <<K as Proximity<V>>::Distance as Distance>::Value;
Shorthand for K::Distance::Value.
K::Distance::Value