diff --git a/src/Data/Universe/DependentSum.hs b/src/Data/Universe/DependentSum.hs
--- a/src/Data/Universe/DependentSum.hs
+++ b/src/Data/Universe/DependentSum.hs
@@ -4,6 +4,11 @@
 {-# LANGUAGE ScopedTypeVariables #-}
 module Data.Universe.DependentSum () where
 
+#if MIN_VERSION_dependent_sum(0,7,0)
+import Data.Universe.Some ()
+#else
+
+
 import Data.Universe.Class (Universe (..), Finite (..))
 import Data.Universe.Some (UniverseSome (..), FiniteSome (..))
 import Data.Universe.Helpers (Tagged (..), Natural, (+++))
@@ -36,3 +41,5 @@
 
 retagSome :: Tagged (Some f) Natural -> Tagged (some f) Natural
 retagSome (Tagged n) = Tagged n
+
+#endif
diff --git a/universe-dependent-sum.cabal b/universe-dependent-sum.cabal
--- a/universe-dependent-sum.cabal
+++ b/universe-dependent-sum.cabal
@@ -1,5 +1,5 @@
 name:          universe-dependent-sum
-version:       1.2
+version:       1.2.0.1
 synopsis:      Universe instances for types from dependent-sum
 description:
   A class for finite and recursively enumerable types and some helper functions for enumerating them
@@ -29,7 +29,17 @@
 build-type:    Simple
 cabal-version: >=1.10
 tested-with:
-  GHC ==8.8.1 || ==8.6.5 || ==8.4.4 || ==8.2.2 || ==8.0.2 || ==7.10.3 || ==7.8.4 || ==7.6.3 || ==7.4.2 || ==7.0.4
+  GHC ==7.0.4
+   || ==7.4.2
+   || ==7.6.3
+   || ==7.8.4
+   || ==7.10.3
+   || ==8.0.2
+   || ==8.2.2
+   || ==8.4.4
+   || ==8.6.5
+   || ==8.8.3
+   || ==8.10.1
 
 source-repository head
   type:     git
@@ -43,12 +53,10 @@
 library
   default-language: Haskell2010
   hs-source-dirs:   src
-  exposed-modules:
-    Data.Universe.DependentSum
-
+  exposed-modules:  Data.Universe.DependentSum
   build-depends:
-      base              >=4.3      && <4.14
-    , dependent-sum     >=0.3.2.2  && <0.7
-    , some              >=1        && <1.1
-    , universe-base     >=1.1      && <1.1.2
-    , universe-some     >=1.2      && <1.3
+      base           >=4.3     && <4.15
+    , dependent-sum  >=0.3.2.2 && <0.8
+    , some           >=1       && <1.1
+    , universe-base  >=1.1     && <1.1.2
+    , universe-some  >=1.2     && <1.3