{-# htermination sum :: [Int] -> Int #-}