measure :: (Met.Metric a a) => Bar a -> PlusInfinity a
measure (C _ Infinity) = Infinity
measure :: (Met.Metric a a) => Bar a -> PlusInfinity a
measure (C _ Infinity) = Infinity
measure (C _ Infinity) = Infinity