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