{-# htermination showString :: String -> String -> String #-}