{-# htermination showsPrec :: Int -> Char -> String -> String #-}