{-# htermination showList :: [Char] -> String -> String #-}