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