{-# htermination inRange :: ((),()) -> () -> Bool #-}