diff --git a/changelog b/changelog
--- a/changelog
+++ b/changelog
@@ -1,3 +1,8 @@
+0.0.9
+
+* Require GHC >= 7.8
+* Add `notZeroElse1`
+
 0.0.8
 
 * Change use of `fmap` to `liftM` for older GHC versions.
diff --git a/notzero.cabal b/notzero.cabal
--- a/notzero.cabal
+++ b/notzero.cabal
@@ -1,5 +1,5 @@
 name:               notzero
-version:            0.0.8
+version:            0.0.9
 license:            BSD3
 license-file:       LICENSE
 author:             Tony Morris <ʇǝu˙sıɹɹoɯʇ@ןןǝʞsɐɥ> <dibblego>
@@ -29,7 +29,7 @@
                     Haskell2010
 
   build-depends:
-                      base          >= 3   && < 5
+                      base          >= 4.7 && < 5
                     , mtl           >= 2.0 && < 2.3
                     , semigroups    >= 0.8
                     , semigroupoids >= 4.0
@@ -62,7 +62,7 @@
                     Haskell2010
 
   build-depends:
-                      base < 5 && >= 3
+                      base < 5 && >= 4.7
                     , doctest >= 0.9.7
                     , filepath >= 1.3
                     , directory >= 1.1
diff --git a/src/Data/NotZero.hs b/src/Data/NotZero.hs
--- a/src/Data/NotZero.hs
+++ b/src/Data/NotZero.hs
@@ -4,6 +4,7 @@
 , notZero
 , notZeroElse
 , notZero1
+, notZeroElse1
 ) where
 
 import Control.Lens(Prism', prism')
@@ -46,6 +47,13 @@
   NotZero a
 notZero1 =
   NotZero 1
+
+notZeroElse1 ::
+  (Eq a, Num a) =>
+  a
+  -> NotZero a
+notZeroElse1 =
+  notZeroElse notZero1
 
 instance Num a => Semigroup (NotZero a) where
   NotZero a <> NotZero b =