{-# htermination negate :: Num a => a -> a #-}