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