diff --git a/changelog.md b/changelog.md
--- a/changelog.md
+++ b/changelog.md
@@ -1,3 +1,15 @@
+0.15
+
+* Widen version bounds.
+
+0.14
+
+* Fix export for `DecDigitNoZero`.
+
+0.13
+
+* Make `DecDigitNoZero` data type.
+
 0.12
 
 * Fix bug in functions that produce Integral values.
diff --git a/digit.cabal b/digit.cabal
--- a/digit.cabal
+++ b/digit.cabal
@@ -1,5 +1,5 @@
 name:               digit
-version:            0.12
+version:            0.15
 license:            BSD3
 license-file:       LICENCE
 author:             System F <nɐ˙ɯoɔ˙ɟɯǝʇsʎs@ǝpoɔ>
@@ -14,7 +14,7 @@
 cabal-version:      >= 1.10
 build-type:         Simple
 extra-source-files: CONTRIBUTORS, changelog.md
-tested-with:        GHC == 8.6.1, GHC == 8.4.3, GHC == 8.2.2, GHC == 8.0.2, GHC == 7.10.3
+tested-with:        GHC == 9.8.1, GHC == 9.6.3, GHC == 9.4.7, GHC == 9.0.2, GHC == 8.6.1, GHC == 8.4.3, GHC == 8.2.2, GHC == 8.0.2, GHC == 7.10.3
 description:
   <<https://system-f.gitlab.io/logo/systemf-450x450.jpg>>
   .
@@ -29,13 +29,13 @@
                     Haskell2010
 
   build-depends:
-                    base               >= 4.8 && < 5
-                    , lens             >= 4.0 && < 5.2
-                    , parsers          >= 0.12.3 && < 0.13
+                    base               >= 4.8 && < 6
+                    , lens             >= 4.0 && < 6
+                    , parsers          >= 0.12.3 && < 1
                     , semigroups       >= 0.12 && < 1.0
                     , template-haskell >= 2.8 && < 3
-                    , semigroupoids    >= 5 && < 6
-                    , scientific       >= 0.3 && < 0.4
+                    , semigroupoids    >= 5 && < 7
+                    , scientific       >= 0.3 && < 1
 
   ghc-options:
                     -Wall
diff --git a/src/Data/Digit/Decimal.hs b/src/Data/Digit/Decimal.hs
--- a/src/Data/Digit/Decimal.hs
+++ b/src/Data/Digit/Decimal.hs
@@ -4,6 +4,7 @@
 
 module Data.Digit.Decimal(
   DecDigit(..)
+, DecDigitNoZero(..)
 , DecimalNoZero
 , Decimal
 , parseDecimalNoZero
@@ -73,6 +74,30 @@
 instance D7 DecDigit where; d7 = _DecDigit7
 instance D8 DecDigit where; d8 = _DecDigit8
 instance D9 DecDigit where; d9 = _DecDigit9
+
+data DecDigitNoZero =
+  DecDigitNoZero1
+  | DecDigitNoZero2
+  | DecDigitNoZero3
+  | DecDigitNoZero4
+  | DecDigitNoZero5
+  | DecDigitNoZero6
+  | DecDigitNoZero7
+  | DecDigitNoZero8
+  | DecDigitNoZero9
+  deriving (Show, Eq, Ord, Enum, Bounded)
+
+makePrisms ''DecDigitNoZero
+
+instance D1 DecDigitNoZero where; d1 = _DecDigitNoZero1
+instance D2 DecDigitNoZero where; d2 = _DecDigitNoZero2
+instance D3 DecDigitNoZero where; d3 = _DecDigitNoZero3
+instance D4 DecDigitNoZero where; d4 = _DecDigitNoZero4
+instance D5 DecDigitNoZero where; d5 = _DecDigitNoZero5
+instance D6 DecDigitNoZero where; d6 = _DecDigitNoZero6
+instance D7 DecDigitNoZero where; d7 = _DecDigitNoZero7
+instance D8 DecDigitNoZero where; d8 = _DecDigitNoZero8
+instance D9 DecDigitNoZero where; d9 = _DecDigitNoZero9
 
 type DecimalNoZero d =
   (D1 d, D2 d, D3 d, D4 d, D5 d, D6 d, D7 d, D8 d, D9 d)