diff --git a/lib/Zeugma/Run.hs b/lib/Zeugma/Run.hs
--- a/lib/Zeugma/Run.hs
+++ b/lib/Zeugma/Run.hs
@@ -6,21 +6,13 @@
 
 import qualified Chronos
 import Chronos (datetimeToTime)
-import Conc (
-  Critical,
-  Gates,
-  interpretCritical,
-  interpretGates,
-  interpretMaskFinal,
-  interpretRace,
-  interpretUninterruptibleMaskFinal,
-  )
+import Conc (Critical, Gates, interpretCritical, interpretGates, interpretMaskFinal, interpretRace)
 import Hedgehog (TestT)
 import Hedgehog.Internal.Property (Failure)
 import Incipit
 import Log (Severity (Crit, Debug, Trace), interpretLogStderrLevelConc)
 import Polysemy.Chronos (ChronosTime, interpretTimeChronos, interpretTimeChronosConstant)
-import Polysemy.Test (Hedgehog, Test, TestError (TestError), runTestAuto)
+import Polysemy.Test (Hedgehog, SkipTestDefaultValue, Test, TestError (TestError), runTestAuto)
 import Time (mkDatetime)
 
 #if MIN_VERSION_polysemy_process(0, 14, 0)
@@ -36,7 +28,6 @@
     Critical,
     Gates,
     Mask,
-    UninterruptibleMask,
     Race,
     Async,
     Stop Text,
@@ -68,7 +59,6 @@
   stopToError .
   asyncToIOFinal .
   interpretRace .
-  interpretUninterruptibleMaskFinal .
   interpretMaskFinal .
   interpretGates .
   interpretCritical .
@@ -99,6 +89,7 @@
 -- | Run the test stack as a 'TestT' with the specified log level.
 runTestLevel ::
   HasCallStack =>
+  SkipTestDefaultValue a =>
   Severity ->
   Sem TestStack a ->
   TestT IO a
@@ -108,6 +99,7 @@
 -- | Run the test stack as a 'TestT' with the specified log level, with 'ChronosTime' frozen at 'testTime'.
 runTestFrozenLevel ::
   HasCallStack =>
+  SkipTestDefaultValue a =>
   Severity ->
   Sem TestStack a ->
   TestT IO a
@@ -117,6 +109,7 @@
 -- | Run the test stack as a 'TestT' with a log level of 'Trace'.
 runTestTrace ::
   HasCallStack =>
+  SkipTestDefaultValue a =>
   Sem TestStack a ->
   TestT IO a
 runTestTrace =
@@ -125,6 +118,7 @@
 -- | Run the test stack as a 'TestT' with a log level of 'Debug'.
 runTestDebug ::
   HasCallStack =>
+  SkipTestDefaultValue a =>
   Sem TestStack a ->
   TestT IO a
 runTestDebug =
@@ -133,6 +127,7 @@
 -- | Run the test stack as a 'TestT' with a log level of 'Crit'.
 runTest ::
   HasCallStack =>
+  SkipTestDefaultValue a =>
   Sem TestStack a ->
   TestT IO a
 runTest =
@@ -141,6 +136,7 @@
 -- | Run the test stack as a 'TestT' with a log level of 'Trace' and 'ChronosTime' frozen at 'testTime'.
 runTestFrozenTrace ::
   HasCallStack =>
+  SkipTestDefaultValue a =>
   Sem TestStack a ->
   TestT IO a
 runTestFrozenTrace =
@@ -149,6 +145,7 @@
 -- | Run the test stack as a 'TestT' with a log level of 'Debug' and 'ChronosTime' frozen at 'testTime'.
 runTestFrozenDebug ::
   HasCallStack =>
+  SkipTestDefaultValue a =>
   Sem TestStack a ->
   TestT IO a
 runTestFrozenDebug =
@@ -157,6 +154,7 @@
 -- | Run the test stack as a 'TestT' with a log level of 'Crit' and 'ChronosTime' frozen at 'testTime'.
 runTestFrozen ::
   HasCallStack =>
+  SkipTestDefaultValue a =>
   Sem TestStack a ->
   TestT IO a
 runTestFrozen =
diff --git a/zeugma.cabal b/zeugma.cabal
--- a/zeugma.cabal
+++ b/zeugma.cabal
@@ -1,11 +1,11 @@
 cabal-version: 2.2
 
--- This file has been generated from package.yaml by hpack version 0.36.1.
+-- This file has been generated from package.yaml by hpack version 0.38.2.
 --
 -- see: https://github.com/sol/hpack
 
 name:           zeugma
-version:        0.10.0.1
+version:        0.11.0.0
 synopsis:       Polysemy effects for testing
 description:    See https://hackage.haskell.org/package/zeugma/docs/Zeugma.html
 category:       Prelude
@@ -59,8 +59,10 @@
       LiberalTypeSynonyms
       MonadComprehensions
       MultiWayIf
+      NoFieldSelectors
       OverloadedLabels
       OverloadedLists
+      OverloadedRecordDot
       OverloadedStrings
       PackageImports
       PartialTypeSignatures
@@ -76,19 +78,17 @@
       UndecidableInstances
       UnicodeSyntax
       ViewPatterns
-      OverloadedRecordDot
-      NoFieldSelectors
   ghc-options: -Wall -Widentities -Wincomplete-uni-patterns -Wmissing-deriving-strategies -Wredundant-constraints -Wunused-type-patterns -Wunused-packages
   build-depends:
-      base >=4.17.2.1 && <4.21
+      base >=4.17.2.1 && <4.22
     , chronos >=1.1.5 && <1.2
-    , hedgehog >=1.1.2 && <1.6
-    , incipit ==0.10.0.1
-    , polysemy >=1.6.0.0 && <1.10
+    , hedgehog >=1.4 && <1.8
+    , incipit <0.12
+    , polysemy >=1.9.1.0 && <1.10
     , polysemy-chronos >=0.5.0.0 && <0.8
-    , polysemy-process >=0.11.1.0 && <0.15
-    , polysemy-test >=0.7.0.0 && <0.11
-    , tasty >=1.4.2 && <1.6
+    , polysemy-process >=0.12.0.0 && <0.16
+    , polysemy-test >=0.11.0.1 && <0.12
+    , tasty >=1.5.2 && <1.6
     , tasty-expected-failure >=0.11.1.2 && <0.13
-    , tasty-hedgehog >=1.3.0.0 && <1.5
+    , tasty-hedgehog >=1.4.0.2 && <1.5
   default-language: GHC2021