diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,3 +1,6 @@
+# 0.4.5 [2020.04.11]
+* Remove the use of overlapping patterns in `NatMinus`.
+
 # 0.4.4 [2020.03.25]
 * Allow `singletons-2.7`.
 
diff --git a/Data/Nat.hs b/Data/Nat.hs
--- a/Data/Nat.hs
+++ b/Data/Nat.hs
@@ -58,9 +58,9 @@
   natMul (S a) b = natPlus b (natMul a b)
 
   natMinus :: Nat -> Nat -> Nat
-  natMinus Z     _     = Z
-  natMinus (S a) (S b) = natMinus a b
-  natMinus a     Z     = a
+  natMinus Z       _     = Z
+  natMinus (S a)   (S b) = natMinus a b
+  natMinus a@(S _) Z     = a
 
   natAbs :: Nat -> Nat
   natAbs n = n
diff --git a/singleton-nats.cabal b/singleton-nats.cabal
--- a/singleton-nats.cabal
+++ b/singleton-nats.cabal
@@ -1,5 +1,5 @@
 name:                singleton-nats
-version:             0.4.4
+version:             0.4.5
 synopsis:            Unary natural numbers relying on the singletons infrastructure.
 description:         Unary natural number relying on the <https://hackage.haskell.org/package/singletons singletons> infrastructure. More information about the general usage of singletons can be found on the <https://github.com/goldfirere/singletons singletons github> page.
 category:            Data, Dependent Types