diff --git a/changelog b/changelog
--- a/changelog
+++ b/changelog
@@ -1,3 +1,7 @@
+1.1.3
+
+* Add Solo instances
+
 1.1.2
 
 * Explicitly mark modules as Safe or Trustworthy
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,6 +43,14 @@
 import qualified Data.Set as Set
 import qualified Data.Map as Map
 
+#if MIN_VERSION_base(4,16,0)
+import Data.Tuple (Solo (..))
+#elif MIN_VERSION_base(4,15,0)
+import GHC.Tuple (Solo (..))
+#else
+import Data.Tuple.Solo (Solo (..))
+#endif
+
 -- $setup
 -- >>> import Data.List
 -- >>> import Data.Universe.Helpers
@@ -438,3 +446,13 @@
   cardinality = liftM2 (+)
     (retag (cardinality :: Tagged (f a) Natural))
     (retag (cardinality :: Tagged (g a) Natural))
+
+-------------------------------------------------------------------------------
+-- OneTuple
+-------------------------------------------------------------------------------
+
+-- @since 1.1.3
+instance  Universe a => Universe (Solo a) where universe  = map Solo universe
+
+-- @since 1.1.3
+instance  Finite   a => Finite   (Solo a) where universeF = map Solo universeF; cardinality = retagWith Solo 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.2
+version:            1.1.3
 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,7 +34,9 @@
    || ==8.4.4
    || ==8.6.5
    || ==8.8.4
-   || ==8.10.3
+   || ==8.10.4
+   || ==9.0.1
+   || ==9.2.1
 
 source-repository head
   type:     git
@@ -66,7 +68,7 @@
     TypeFamilies
 
   build-depends:
-      base          >=4.3     && <4.16
+      base          >=4.3     && <4.17
     , containers    >=0.4.0.0 && <0.7
     , tagged        >=0.8.6.1 && <0.9
     , transformers  >=0.3.0.0 && <0.6
@@ -88,6 +90,12 @@
   if impl(ghc >=7.4)
     cpp-options:      -DDEFAULT_SIGNATURES
     other-extensions: DefaultSignatures
+
+  if !impl(ghc >= 9.2)
+    if impl(ghc >= 9.0)
+      build-depends: ghc-prim
+    else
+      build-depends: OneTuple >=0.3 && <0.4
 
   if impl(ghc >= 9.0)
     -- these flags may abort compilation with GHC-8.10