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