Math.MetricSpace

data MetricSpace a b

type ClosedMetricSpace a

data FlippedMetricSpace b a

type ClosedFlippedMetricSpace a

(<->)

_FlippedMetricSpace

class SwappedMetricSpace m

levenshtein

discrete

euclidean

taxicab