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