diff --git a/typelevel.cabal b/typelevel.cabal
--- a/typelevel.cabal
+++ b/typelevel.cabal
@@ -1,11 +1,13 @@
--- This file has been generated from package.yaml by hpack version 0.20.0.
+cabal-version: 1.12
+
+-- This file has been generated from package.yaml by hpack version 0.31.1.
 --
 -- see: https://github.com/sol/hpack
 --
--- hash: 8c2af28df05f5ee1455810d87a4532bb30dad88e6db3246cd6a03a6602ecd5da
+-- hash: 43d5da2cc7c39d3d4d387e830ba016d6084391d44a7074e747127eceeb105c84
 
 name:           typelevel
-version:        1.2.2
+version:        1.2.3
 synopsis:       Useful type level operations (type families and related operators).
 category:       Data
 stability:      experimental
@@ -17,24 +19,8 @@
 license:        Apache-2.0
 license-file:   LICENSE
 build-type:     Simple
-cabal-version:  >= 1.10
 
 library
-  hs-source-dirs:
-      src
-  default-extensions: AllowAmbiguousTypes ApplicativeDo BangPatterns BinaryLiterals ConstraintKinds DataKinds DefaultSignatures DeriveDataTypeable DeriveFoldable DeriveFunctor DeriveGeneric DeriveTraversable DoAndIfThenElse DuplicateRecordFields EmptyDataDecls FlexibleContexts FlexibleInstances FunctionalDependencies GADTs GeneralizedNewtypeDeriving InstanceSigs LambdaCase MonadComprehensions MultiWayIf NamedWildCards NegativeLiterals NumDecimals OverloadedLabels PackageImports QuasiQuotes PatternSynonyms RankNTypes RecursiveDo ScopedTypeVariables StandaloneDeriving TemplateHaskell TupleSections TypeApplications TypeFamilies TypeFamilyDependencies TypeOperators UnicodeSyntax ViewPatterns LiberalTypeSynonyms RelaxedPolyRec
-  ghc-options: -Wall -O2
-  build-depends:
-      base >=4.10 && <4.12
-    , constraints
-    , convert
-    , exceptions
-    , lens
-    , mtl
-    , pretty
-    , pretty-show
-    , primitive
-    , transformers
   exposed-modules:
       Constraint.Container.Homo
       Data.Constraint.Struct
@@ -66,4 +52,19 @@
       Type.Zip
   other-modules:
       Paths_typelevel
+  hs-source-dirs:
+      src
+  default-extensions: AllowAmbiguousTypes ApplicativeDo BangPatterns BinaryLiterals ConstraintKinds DataKinds DefaultSignatures DeriveDataTypeable DeriveFoldable DeriveFunctor DeriveGeneric DeriveTraversable DoAndIfThenElse DuplicateRecordFields EmptyDataDecls FlexibleContexts FlexibleInstances FunctionalDependencies GADTs GeneralizedNewtypeDeriving InstanceSigs LambdaCase MonadComprehensions MultiWayIf NamedWildCards NegativeLiterals NumDecimals OverloadedLabels PackageImports QuasiQuotes PatternSynonyms RankNTypes RecursiveDo ScopedTypeVariables StandaloneDeriving TemplateHaskell TupleSections TypeApplications TypeFamilies TypeFamilyDependencies TypeOperators UnicodeSyntax ViewPatterns LiberalTypeSynonyms RelaxedPolyRec
+  ghc-options: -Wall -O2
+  build-depends:
+      base >=4.9 && <4.13
+    , constraints
+    , convert
+    , exceptions
+    , lens
+    , mtl
+    , pretty
+    , pretty-show
+    , primitive
+    , transformers
   default-language: Haskell2010