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