diff --git a/src/Data/Universe/Class.hs b/src/Data/Universe/Class.hs
--- a/src/Data/Universe/Class.hs
+++ b/src/Data/Universe/Class.hs
@@ -43,13 +43,22 @@
 import qualified Data.Set as Set
 import qualified Data.Map as Map
 
-#if MIN_VERSION_base(4,16,0)
-import Data.Tuple (Solo (..))
+#if MIN_VERSION_base(4,18,0)
+import Data.Tuple (Solo (MkSolo))
+#elif MIN_VERSION_base(4,16,0)
+import Data.Tuple (Solo (Solo))
+#define MkSolo Solo
 #elif MIN_VERSION_base(4,15,0)
-import GHC.Tuple (Solo (..))
+import GHC.Tuple (Solo (Solo))
+#define MkSolo Solo
 #else
-import Data.Tuple.Solo (Solo (..))
+#if MIN_VERSION_OneTuple(0,4,0)
+import Data.Tuple.Solo (Solo (MkSolo))
+#else
+import Data.Tuple.Solo (Solo (Solo))
+#define MkSolo Solo
 #endif
+#endif
 
 -- $setup
 -- >>> import Data.List
@@ -452,7 +461,7 @@
 -------------------------------------------------------------------------------
 
 -- @since 1.1.3
-instance  Universe a => Universe (Solo a) where universe  = map Solo universe
+instance  Universe a => Universe (Solo a) where universe  = map MkSolo universe
 
 -- @since 1.1.3
-instance  Finite   a => Finite   (Solo a) where universeF = map Solo universeF; cardinality = retagWith Solo cardinality
+instance  Finite   a => Finite   (Solo a) where universeF = map MkSolo universeF; cardinality = retagWith MkSolo cardinality
diff --git a/universe-base.cabal b/universe-base.cabal
--- a/universe-base.cabal
+++ b/universe-base.cabal
@@ -1,5 +1,5 @@
 name:               universe-base
-version:            1.1.3
+version:            1.1.3.1
 synopsis:           A class for finite and recursively enumerable types.
 description:
   A class for finite and recursively enumerable types and some helper functions for enumerating them.
@@ -34,9 +34,11 @@
    || ==8.4.4
    || ==8.6.5
    || ==8.8.4
-   || ==8.10.4
-   || ==9.0.1
-   || ==9.2.1
+   || ==8.10.7
+   || ==9.0.2
+   || ==9.2.7
+   || ==9.4.4
+   || ==9.6.1
 
 source-repository head
   type:     git
@@ -68,16 +70,16 @@
     TypeFamilies
 
   build-depends:
-      base          >=4.3     && <4.17
+      base          >=4.3     && <4.19
     , containers    >=0.4.0.0 && <0.7
     , tagged        >=0.8.6.1 && <0.9
-    , transformers  >=0.3.0.0 && <0.6
+    , transformers  >=0.3.0.0 && <0.7
 
   if impl(ghc >=7.10.3)
     build-depends: transformers >=0.4.2.0
 
   if !impl(ghc >=7.10.3)
-    build-depends: transformers-compat >=0.6.1 && <0.7
+    build-depends: transformers-compat >=0.6.1 && <0.8
 
   if !impl(ghc >=7.10)
     build-depends:
@@ -85,7 +87,7 @@
       , void  >=0.7.3 && <0.8
 
   if !impl(ghc >=8.0)
-    build-depends: semigroups >=0.18.5 && <0.20
+    build-depends: semigroups >=0.18.5 && <0.21
 
   if impl(ghc >=7.4)
     cpp-options:      -DDEFAULT_SIGNATURES
@@ -95,7 +97,7 @@
     if impl(ghc >= 9.0)
       build-depends: ghc-prim
     else
-      build-depends: OneTuple >=0.3 && <0.4
+      build-depends: OneTuple >=0.3 && <0.5
 
   if impl(ghc >= 9.0)
     -- these flags may abort compilation with GHC-8.10