{-# htermination showList :: [()] -> String -> String #-}