module Saturn.Unstable.Extra.Ord where within :: (Ord a) => (a, a) -> a -> Bool within :: forall a. Ord a => (a, a) -> a -> Bool within (a lo, a hi) a x = a lo forall a. Ord a => a -> a -> Bool <= a x Bool -> Bool -> Bool && a x forall a. Ord a => a -> a -> Bool <= a hi