diff --git a/changelog b/changelog
--- a/changelog
+++ b/changelog
@@ -1,3 +1,7 @@
+0.0.7
+
+* Fix invariant break in `notZeroElse`.
+
 0.0.6
 
 * Fix bug in `notZeroElse`.
diff --git a/notzero.cabal b/notzero.cabal
--- a/notzero.cabal
+++ b/notzero.cabal
@@ -1,5 +1,5 @@
 name:               notzero
-version:            0.0.6
+version:            0.0.7
 license:            BSD3
 license-file:       LICENSE
 author:             Tony Morris <ʇǝu˙sıɹɹoɯʇ@ןןǝʞsɐɥ> <dibblego>
diff --git a/src/Data/NotZero.hs b/src/Data/NotZero.hs
--- a/src/Data/NotZero.hs
+++ b/src/Data/NotZero.hs
@@ -35,11 +35,11 @@
 
 notZeroElse ::
   (Eq a, Num a) =>
-  a
+  NotZero a
   -> a
   -> NotZero a
 notZeroElse d a =
-  NotZero (bool a d (a == 0))
+  bool (NotZero a) d (a == 0)
   
 notZero1 ::
   (Eq a, Num a) =>