diff --git a/changelog b/changelog
--- a/changelog
+++ b/changelog
@@ -1,3 +1,7 @@
+0.0.4
+
+* Add `NotZero` functions to construct with default.
+
 0.0.3
 
 * Monoid instances on `NotZeroOr` and `AccNotZeroOr`.
diff --git a/notzero.cabal b/notzero.cabal
--- a/notzero.cabal
+++ b/notzero.cabal
@@ -1,5 +1,5 @@
 name:               notzero
-version:            0.0.3
+version:            0.0.4
 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
@@ -2,6 +2,8 @@
   NotZero
 , getNotZero
 , notZero
+, notZeroElse
+, notZero1
 ) where
 
 import Control.Lens(Prism', prism')
@@ -30,6 +32,21 @@
   prism'
     getNotZero
     (\a -> bool (Just (NotZero a)) Nothing (a == 0))
+
+notZeroElse ::
+  (Eq a, Num a) =>
+  a
+  -> a
+  -> NotZero a
+notZeroElse d a =
+  NotZero (bool 1 d (a == 0))
+  
+notZero1 ::
+  (Eq a, Num a) =>
+  a
+  -> NotZero a
+notZero1 =
+  notZeroElse 1
 
 instance Num a => Semigroup (NotZero a) where
   NotZero a <> NotZero b =