{-# htermination (/=) :: Int -> Int -> Bool #-}