diff --git a/nix/overlay.nix b/nix/overlay.nix
index deac0ae4..1d1c6fe3 100644
--- a/nix/overlay.nix
+++ b/nix/overlay.nix
@@ -22,8 +22,8 @@ let
     type-errors = pkgs.haskell.lib.doJailbreak super.type-errors;
     th-abstraction = self.callHackageDirect {
       pkg = "th-abstraction";
-      ver = "0.6.0.0";
-      sha256 = "1w07ysxrbjm1rhlg9nhlq5y72s5wr4vqmcy99chvyb56wka0grbq";
+      ver = "0.7.0.0";
+      sha256 = "sha256-YNCvJ9C8PsOTT+B4NoRT6kA2bOFk4F6ygm8hzWMH+1I=";
     } {};
     tagged = self.callHackageDirect {
       pkg = "tagged";
diff --git a/package.yaml b/package.yaml
index 1d73b360..3aa31afd 100644
--- a/package.yaml
+++ b/package.yaml
@@ -23,7 +23,7 @@ dependencies:
 - syb >= 0.7 && < 0.8
 - stm >= 2 && < 3
 - template-haskell >= 2.12.0.0 && < 3
-- th-abstraction >= 0.3.1.0 && < 0.7
+- th-abstraction >= 0.3.1.0 && < 0.8
 - transformers >= 0.5.2.0 && < 0.7
 - first-class-families >= 0.5.0.0 && < 0.9
 - unagi-chan >= 0.4.0.0 && < 0.5
diff --git a/polysemy.cabal b/polysemy.cabal
index d1443227..cd11e296 100644
--- a/polysemy.cabal
+++ b/polysemy.cabal
@@ -106,7 +106,7 @@ library
     , stm ==2.*
     , syb ==0.7.*
     , template-haskell >=2.12.0.0 && <3
-    , th-abstraction >=0.3.1.0 && <0.7
+    , th-abstraction >=0.3.1.0 && <0.8
     , transformers >=0.5.2.0 && <0.7
     , type-errors >=0.2.0.0
     , unagi-chan >=0.4.0.0 && <0.5
@@ -177,7 +177,7 @@ test-suite polysemy-test
     , stm ==2.*
     , syb ==0.7.*
     , template-haskell >=2.12.0.0 && <3
-    , th-abstraction >=0.3.1.0 && <0.7
+    , th-abstraction >=0.3.1.0 && <0.8
     , transformers >=0.5.2.0 && <0.7
     , type-errors >=0.2.0.0
     , unagi-chan >=0.4.0.0 && <0.5