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