{-# htermination showLitChar :: Char -> String -> String #-}