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