diff --git a/library/TextBuilderCore.hs b/library/TextBuilderCore.hs
--- a/library/TextBuilderCore.hs
+++ b/library/TextBuilderCore.hs
@@ -39,9 +39,7 @@
 #endif
 
 -- |
--- Specification of how to efficiently construct strict 'Text'.
---
--- For this task it is much more efficient than @Data.Text.Lazy.Builder.'Data.Text.Lazy.Builder.Builder'@ and even the recently introduced @Data.Text.Encoding.'Data.Text.Encoding.StrictTextBuilder'@.
+-- Composable specification of how to efficiently construct strict 'Text'.
 --
 -- Provides instances of 'Semigroup' and 'Monoid', which have complexity of /O(1)/.
 data TextBuilder
diff --git a/test/Features.hs b/test/Features.hs
--- a/test/Features.hs
+++ b/test/Features.hs
@@ -1,6 +1,7 @@
 module Features (tests) where
 
 import Control.Monad
+import Data.Char
 import Data.String
 import qualified Data.Text as Text
 import qualified Data.Text.Lazy as Text.Lazy
@@ -44,10 +45,14 @@
           lazyText (Text.Lazy.fromStrict (toText builder)) === builder
       ],
     testGroup "char" $
-      [ mapsToMonoid char
+      [ mapsToMonoid char,
+        testProperty "Is isomorphic to Text.singleton" \a ->
+          toText (char a) === Text.singleton a
       ],
     testGroup "unicodeCodepoint" $
-      [ mapsToMonoid unicodeCodepoint
+      [ mapsToMonoid unicodeCodepoint,
+        testProperty "Is isomorphic to Text.singleton" \a ->
+          toText (unicodeCodepoint (ord a)) === Text.singleton a
       ],
     testGroup "unsafeSeptets" $
       [ isMonoidWithCustomGen do
diff --git a/test/Main.hs b/test/Main.hs
--- a/test/Main.hs
+++ b/test/Main.hs
@@ -1,8 +1,6 @@
 module Main where
 
-import qualified Data.Char as Char
 import Data.Proxy
-import Data.Text (Text)
 import qualified Data.Text as Text
 import qualified Features
 import Test.QuickCheck.Classes
@@ -36,11 +34,7 @@
           \texts ->
             let trimmedTexts = fmap (Text.drop 3) texts
              in mconcat trimmedTexts
-                  === B.toText (mconcat (map B.text trimmedTexts)),
-        testProperty "(TextBuilderCore.unicodeCodepoint <>) is isomorphic to Text.cons" $
-          withMaxSuccess bigTest $
-            \(text :: Text) (c :: Char) ->
-              B.toText (B.unicodeCodepoint (Char.ord c) <> B.text text) === Text.cons c text
+                  === B.toText (mconcat (map B.text trimmedTexts))
       ],
     testGroup "Laws" $
       [ followsLaws $ showLaws (Proxy @B.TextBuilder),
@@ -50,5 +44,3 @@
       ],
     testGroup "Features" Features.tests
   ]
-  where
-    bigTest = 10000
diff --git a/text-builder-core.cabal b/text-builder-core.cabal
--- a/text-builder-core.cabal
+++ b/text-builder-core.cabal
@@ -1,6 +1,6 @@
 cabal-version: 3.0
 name: text-builder-core
-version: 0.1.1
+version: 0.1.1.1
 category: Text, Builders
 synopsis: Internals of "text-builder"
 description: