intersection :: (Ord a) => Bar a -> Bar a -> Bar a
intersection (C l1 Infinity) (C l2 Infinity) = infiniteBar (max l1 l2)
intersection :: (Ord a) => Bar a -> Bar a -> Bar a
intersection (C l1 Infinity) (C l2 Infinity) = infiniteBar (max l1 l2)
intersection (C l1 Infinity) (C l2 Infinity) = infiniteBar (max l1 l2)