diff --git a/src/Data/Universe/Some/TH.hs b/src/Data/Universe/Some/TH.hs
--- a/src/Data/Universe/Some/TH.hs
+++ b/src/Data/Universe/Some/TH.hs
@@ -52,8 +52,11 @@
     di <- reifyDatatype name
     let DatatypeInfo { datatypeContext = ctxt
                      , datatypeName    = parentName
+#if MIN_VERSION_th_abstraction(0,3,0)
+                     , datatypeInstTypes = vars0
+#else
                      , datatypeVars    = vars0
-                     , datatypeVariant = variant
+#endif
                      , datatypeCons    = cons
                      } = di
 
@@ -124,8 +127,11 @@
 universeSomeQ' di = do
   let DatatypeInfo { datatypeContext = ctxt
                    , datatypeName    = parentName
+#if MIN_VERSION_th_abstraction(0,3,0)
+                   , datatypeInstTypes = vars0
+#else
                    , datatypeVars    = vars0
-                   , datatypeVariant = variant
+#endif
                    , datatypeCons    = cons
                    } = di
 
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.1
+version:       1.1.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
@@ -51,7 +51,7 @@
       base              >=4.3      && <4.13
     , dependent-sum     >=0.3.2.2  && <0.6
     , template-haskell  >=2.5      && <2.15
-    , th-abstraction    >=0.2.11.0 && <0.3
+    , th-abstraction    >=0.2.11.0 && <0.4
     , transformers      >=0.3.0.0  && <0.6
     , universe-base     >=1.1      && <1.1.1