{-# htermination rangeSize :: (Ordering,Ordering) -> Int #-}