{-# htermination (<) :: Int -> Int -> Bool #-}