diff --git a/ChangeLog.md b/ChangeLog.md
--- a/ChangeLog.md
+++ b/ChangeLog.md
@@ -1,4 +1,5 @@
-# Changelog for `Control.Dsl`
+## 0.2.1.0
+* Add `toCont` function
 
 ## 0.2.0.2
 * Fix tests in GHC 8.6.1
diff --git a/control-dsl.cabal b/control-dsl.cabal
--- a/control-dsl.cabal
+++ b/control-dsl.cabal
@@ -2,10 +2,10 @@
 --
 -- see: https://github.com/sol/hpack
 --
--- hash: 5145c09041be36dede5eb015ca73b5f9145b7f4d1a765ed3b53e12d6e6337d50
+-- hash: f05825e0fb61758589eb055402af39aa7e945df86d2b987417ec5f74ecd2f3ab
 
 name:           control-dsl
-version:        0.2.0.2
+version:        0.2.1.0
 synopsis:       An alternative to monads
 description:    This \"control-dsl\" package is a toolkit to create extensible Domain Specific Languages in @do@-notation.
                 .
diff --git a/src/Control/Dsl/Cont.hs b/src/Control/Dsl/Cont.hs
--- a/src/Control/Dsl/Cont.hs
+++ b/src/Control/Dsl/Cont.hs
@@ -34,8 +34,11 @@
 -}
 type (!!) = Cont
 
--- ! A delimited continuation that can be used in a @do@ block.
+-- | A delimited continuation that can be used in a @do@ block.
 newtype Cont r a = Cont { runCont :: (a -> r) -> r }
+
+-- | Convert a 'PolyCont' to a 'Cont'.
+toCont k = Cont (runPolyCont k)
 
 when :: Bool -> Cont r () -> Cont r ()
 when True k = k
diff --git a/src/Control/Dsl/Dsl.hs b/src/Control/Dsl/Dsl.hs
--- a/src/Control/Dsl/Dsl.hs
+++ b/src/Control/Dsl/Dsl.hs
@@ -14,9 +14,10 @@
 
 == Allowed statements in DSL @do@ blocks
 
-Statements in a DSL @do@ block is a delimited continuation
+Statements in a DSL @do@ block are delimited continuations
 (except the last statement),
-which can be a GADT keyword, a control flow operator.
+which can be either ad-hoc polymorphic GADT keywords,
+or monomorphic control flow operators.
 
 The last statement is the final result of the @do@ block,
 or the /answer type/ of other delimited continuation statements.
diff --git a/src/Control/Dsl/State/State.hs b/src/Control/Dsl/State/State.hs
--- a/src/Control/Dsl/State/State.hs
+++ b/src/Control/Dsl/State/State.hs
@@ -32,17 +32,16 @@
 
 The following @append@ function 'Control.Dsl.State.Get's a @Seq String@ state,
 appends @s@ to the 'Data.Sequence.Seq',
-and 'Control.Dsl.State.Put's the new 'Data.Sequence.Seq' to the updated state.
+and 'Control.Dsl.State.Put's the new 'Data.Sequence.Seq' as the updated state.
 
 >>> :{
 append s = do
   buffer <- Get @(Seq String)
-  Put $ buffer |> s
-  Cont ($ ())
+  toCont $ Put $ buffer |> s
 :}
 
-@($ ())@ creates a CPS function ,
-which can be then converted to 'Control.Dsl.Cont.Cont's.
+@append@ returns a 'Control.Dsl.Cont.Cont',
+which can be used in other @do@ blocks.
 
 A @formatter@ @append@s 'String' to its internal buffer,
 and 'Control.Dsl.return' the concatenated buffer.