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