{-# htermination showList :: Show a => [a] -> String -> String #-}