diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,3 +1,7 @@
+## 0.2.1 (2024-05-25)
+* add `Demotable Doc` instance
+* single `ShowChar`
+
 ## 0.2.0 (2024-05-21)
 * add singleton versions of various types, functions
 
diff --git a/src/TypeLevelShow/Doc.hs b/src/TypeLevelShow/Doc.hs
--- a/src/TypeLevelShow/Doc.hs
+++ b/src/TypeLevelShow/Doc.hs
@@ -21,6 +21,7 @@
 
 import GHC.TypeLits qualified as TE -- TE = TypeError
 import GHC.TypeLits hiding ( ErrorMessage(..) )
+import Singleraeh.Demote
 
 -- | Simple pretty document ADT.
 --
@@ -94,6 +95,10 @@
   SText s   -> Text $ fromSSymbol s
   l :$<>: r -> demoteDoc l :<>: demoteDoc r
   l :$$$: r -> demoteDoc l :$$: demoteDoc r
+
+instance Demotable SDoc where
+    type Demote SDoc = Doc String
+    demote = demoteDoc
 
 -- | Reify a promoted 'Doc' to the corresponding term-level one.
 reifyDoc :: forall (doc :: PDoc). SingDoc doc => Doc String
diff --git a/src/TypeLevelShow/Utils.hs b/src/TypeLevelShow/Utils.hs
--- a/src/TypeLevelShow/Utils.hs
+++ b/src/TypeLevelShow/Utils.hs
@@ -3,6 +3,7 @@
 module TypeLevelShow.Utils where
 
 import GHC.TypeLits
+import Singleraeh.Symbol ( sConsSymbol )
 
 -- | Surround the given 'Symbol' with parentheses when the 'Bool' parameter is
 --   'True'.
@@ -24,6 +25,8 @@
     OrderingGT GT = True
 
 type ShowChar ch = ConsSymbol ch ""
+sShowChar :: SChar ch -> SSymbol (ShowChar ch)
+sShowChar ch = sConsSymbol ch symbolSing
 
 type l ++ r = AppendSymbol l r
 type l >  r = OrderingGT (CmpNat l r)
diff --git a/type-level-show.cabal b/type-level-show.cabal
--- a/type-level-show.cabal
+++ b/type-level-show.cabal
@@ -5,7 +5,7 @@
 -- see: https://github.com/sol/hpack
 
 name:           type-level-show
-version:        0.2.0
+version:        0.2.1
 synopsis:       Utilities for writing Show-like type families
 description:    Please see README.md.
 category:       Types, Data
@@ -52,5 +52,5 @@
   build-depends:
       base >=4.16 && <5
     , defun-core ==0.1.*
-    , singleraeh ==0.1.*
+    , singleraeh ==0.2.*
   default-language: GHC2021