diff --git a/bin.cabal b/bin.cabal
--- a/bin.cabal
+++ b/bin.cabal
@@ -1,6 +1,6 @@
 cabal-version:      2.2
 name:               bin
-version:            0.1.4
+version:            0.1.4.1
 synopsis:           Bin: binary natural numbers.
 category:           Data, Dependent Types, Singletons, Math
 description:
@@ -40,9 +40,11 @@
    || ==9.0.2
    || ==9.2.8
    || ==9.4.8
-   || ==9.6.5
-   || ==9.8.2
-   || ==9.10.1
+   || ==9.6.6
+   || ==9.8.4
+   || ==9.10.3
+   || ==9.12.2
+   || ==9.14.1
 
 source-repository head
   type:     git
@@ -66,7 +68,7 @@
 
   -- GHC boot libs
   build-depends:
-    , base     >=4.12.0.0 && <4.21
+    , base     >=4.12.0.0 && <4.23
     , deepseq  >=1.4.4.0  && <1.6
 
   -- siblings
@@ -75,10 +77,9 @@
   -- other dependencies
   build-depends:
     , boring      ^>=0.2.2
-    , dec         ^>=0.0.6
-    , hashable    ^>=1.4.4.0
-    , QuickCheck  ^>=2.14.2  || ^>=2.15
-    , some        ^>=1.0.6
+    , hashable    ^>=1.4.4.0 || ^>=1.5.0.0
+    , QuickCheck  ^>=2.14.2  || ^>=2.15    || ^>=2.18.0.0
+    , some        ^>=1.0.6   || ^>=1.1
 
   if impl(ghc >=9.0)
     -- these flags may abort compilation with GHC-8.10
diff --git a/src/Data/Type/Bin.hs b/src/Data/Type/Bin.hs
--- a/src/Data/Type/Bin.hs
+++ b/src/Data/Type/Bin.hs
@@ -220,7 +220,7 @@
 --
 -- >>> :kind! FromGHC 7
 -- FromGHC 7 :: Bin
--- = 'BP ('B1 ('B1 'BE))
+-- = BP (B1 (B1 BE))
 --
 type family FromGHC (n :: GHC.Nat) :: Bin where
     FromGHC n = FromGHC' (GhcDivMod2 n)
@@ -251,7 +251,7 @@
 --
 -- >>> :kind! ToNat Bin5
 -- ToNat Bin5 :: Nat
--- = 'S ('S ('S ('S ('S 'Z))))
+-- = S (S (S (S (S Z))))
 --
 type family ToNat (b :: Bin) :: Nat where
     ToNat 'BZ     = 'Z
@@ -261,7 +261,7 @@
 --
 -- >>> :kind! FromNat N.Nat5
 -- FromNat N.Nat5 :: Bin
--- = 'BP ('B1 ('B0 'BE))
+-- = BP (B1 (B0 BE))
 --
 type family FromNat (n :: Nat) :: Bin where
     FromNat n = FromNat' (N.DivMod2 n)
@@ -280,11 +280,11 @@
 --
 -- >>> :kind! Mult2 Bin0 == Bin0
 -- Mult2 Bin0 == Bin0 :: Bool
--- = 'True
+-- = True
 --
 -- >>> :kind! Mult2 Bin3 == Bin6
 -- Mult2 Bin3 == Bin6 :: Bool
--- = 'True
+-- = True
 --
 type family Mult2 (b :: Bin) :: Bin where
     Mult2 'BZ     = 'BZ
@@ -294,11 +294,11 @@
 --
 -- >>> :kind! Mult2Plus1 Bin0
 -- Mult2Plus1 Bin0 :: BinP
--- = 'BE
+-- = BE
 --
 -- >>> :kind! Mult2Plus1 Bin4 == BinP9
 -- Mult2Plus1 Bin4 == BinP9 :: Bool
--- = 'True
+-- = True
 --
 type family Mult2Plus1 (b :: Bin) :: BinP where
     Mult2Plus1 'BZ     = 'BE
@@ -312,7 +312,7 @@
 --
 -- >>> :kind! Succ Bin5
 -- Succ Bin5 :: Bin
--- = 'BP ('B0 ('B1 'BE))
+-- = BP (B0 (B1 BE))
 --
 -- @
 -- `Succ`   :: 'Bin' -> 'Bin'
@@ -343,19 +343,19 @@
 --
 -- >>> :kind! Pred BP.BinP1
 -- Pred BP.BinP1 :: Bin
--- = 'BZ
+-- = BZ
 --
 -- >>> :kind! Pred BP.BinP5 == Bin4
 -- Pred BP.BinP5 == Bin4 :: Bool
--- = 'True
+-- = True
 --
 -- >>> :kind! Pred BP.BinP8 == Bin7
 -- Pred BP.BinP8 == Bin7 :: Bool
--- = 'True
+-- = True
 --
 -- >>> :kind! Pred BP.BinP6 == Bin5
 -- Pred BP.BinP6 == Bin5 :: Bool
--- = 'True
+-- = True
 --
 type family Pred (b :: BinP) :: Bin where
     Pred 'BE     = 'BZ
@@ -375,11 +375,11 @@
 --
 -- >>> :kind! Plus Bin3 Bin3 == Bin6
 -- Plus Bin3 Bin3 == Bin6 :: Bool
--- = 'True
+-- = True
 --
 -- >>> :kind! Mult2 Bin3 == Bin6
 -- Mult2 Bin3 == Bin6 :: Bool
--- = 'True
+-- = True
 --
 type family Plus (a :: Bin) (b :: Bin) :: Bin where
     Plus 'BZ     b       = b