diff --git a/changelog b/changelog
--- a/changelog
+++ b/changelog
@@ -1,3 +1,7 @@
+0.0.10
+
+* Add `NumberM` alias and construction function.
+
 0.0.9
 
 * Require GHC >= 7.8
diff --git a/notzero.cabal b/notzero.cabal
--- a/notzero.cabal
+++ b/notzero.cabal
@@ -1,5 +1,5 @@
 name:               notzero
-version:            0.0.9
+version:            0.0.10
 license:            BSD3
 license-file:       LICENSE
 author:             Tony Morris <ʇǝu˙sıɹɹoɯʇ@ןןǝʞsɐɥ> <dibblego>
diff --git a/src/Data/NotZeroOr.hs b/src/Data/NotZeroOr.hs
--- a/src/Data/NotZeroOr.hs
+++ b/src/Data/NotZeroOr.hs
@@ -8,6 +8,8 @@
 , isoNumber
 , NotZeroOrT(..)
 , isoNotZeroOrT
+, NumberM
+, numberM
 ) where
 
 import Control.Applicative(Applicative(pure, (<*>)), liftA2)
@@ -146,6 +148,15 @@
   iso
     (NotZeroOrT . Identity)
     (\(NotZeroOrT (Identity x)) -> x)
+
+type NumberM a f =
+  NotZeroOrT a f ()
+
+numberM ::
+  f (Number a) 
+  -> NumberM a f
+numberM =
+  NotZeroOrT
 
 instance Functor f => Functor (NotZeroOrT a f) where
   fmap f (NotZeroOrT q) =