diff --git a/lean-peano.cabal b/lean-peano.cabal
--- a/lean-peano.cabal
+++ b/lean-peano.cabal
@@ -1,7 +1,7 @@
 cabal-version: >= 1.12
 
 name:           lean-peano
-version:        1.0.0.0
+version:        1.0.1.0
 synopsis:       A maximally lazy, simple implementation of the Peano numbers with minimal dependencies
 description:    Please see the README on GitHub at <https://github.com/oisdk/lean-peano#readme>
 homepage:       https://github.com/oisdk/lean-peano#readme
diff --git a/src/Numeric/Peano/Typelevel.hs b/src/Numeric/Peano/Typelevel.hs
--- a/src/Numeric/Peano/Typelevel.hs
+++ b/src/Numeric/Peano/Typelevel.hs
@@ -38,11 +38,7 @@
 -- | Conversion of numeric literals to naturals.
 type family FromLit (n :: Lit.Nat) :: Nat where
     FromLit 0 = Z
-    FromLit n = FromLit2 (Lit.Mod n 2) (FromLit (Lit.Div n 2))
-
-type family FromLit2 (odd :: Lit.Nat) (rest :: Nat) :: Nat where
-    FromLit2 0 n = n
-    FromLit2 1 n = S n
+    FromLit n = S (FromLit (n Lit.- 1))
 
 -- | Conversion of naturals to numeric literals.
 type family ToLit (n :: Nat) :: Lit.Nat where