reIndex :: (Ord a, Ord b) => (a -> b) -> Bar a -> Bar b
reIndex f (C l Infinity) = C (f l) Infinity
reIndex :: (Ord a, Ord b) => (a -> b) -> Bar a -> Bar b
reIndex f (C l Infinity) = C (f l) Infinity
reIndex f (C l Infinity) = C (f l) Infinity