diff --git a/lib/Zeugma.hs b/lib/Zeugma.hs
--- a/lib/Zeugma.hs
+++ b/lib/Zeugma.hs
@@ -13,9 +13,10 @@
   runTestFrozenLevel,
   testTime,
 
-  -- * Resumable to TestError conversion
+  -- * Resumable and 'Polysemy.Error.Error' to 'Polysemy.Test.TestError' conversion
   stopTest,
   resumeTest,
+  errorTest,
 
   -- * Reexports of ubiquitous names
   unitTest,
@@ -47,4 +48,4 @@
   runTestTrace,
   testTime,
   )
-import Zeugma.TestError (resumeTest, stopTest)
+import Zeugma.TestError (errorTest, resumeTest, stopTest)
diff --git a/lib/Zeugma/TestError.hs b/lib/Zeugma/TestError.hs
--- a/lib/Zeugma/TestError.hs
+++ b/lib/Zeugma/TestError.hs
@@ -26,3 +26,13 @@
   InterpreterFor eff r
 resumeTest ma =
   withFrozenCallStack (resumeHoistError @err (TestError . show) ma)
+
+-- | Interpret 'Error' converting the error to 'TestError', with the call site's stack.
+errorTest ::
+  ∀ err r .
+  Show err =>
+  HasCallStack =>
+  Member (Error TestError) r =>
+  InterpreterFor (Error err) r
+errorTest ma =
+  withFrozenCallStack (mapError (TestError . show) ma)
diff --git a/zeugma.cabal b/zeugma.cabal
--- a/zeugma.cabal
+++ b/zeugma.cabal
@@ -5,31 +5,35 @@
 -- see: https://github.com/sol/hpack
 
 name:           zeugma
-version:        0.7.0.0
+version:        0.8.0.0
 synopsis:       Polysemy effects for testing
 description:    See https://hackage.haskell.org/package/zeugma/docs/Zeugma.html
 category:       Prelude
-homepage:       https://git.tryp.io/tek/incipit
+homepage:       https://github.com/tek/incipit#readme
 bug-reports:    https://github.com/tek/incipit/issues
 author:         Torsten Schmits
 maintainer:     hackage@tryp.io
-copyright:      2022 Torsten Schmits
+copyright:      2023 Torsten Schmits
 license:        BSD-2-Clause-Patent
 license-file:   LICENSE
 build-type:     Simple
 extra-source-files:
-    changelog.md
     readme.md
+    changelog.md
 
 source-repository head
   type: git
-  location: https://git.tryp.io/tek/incipit
+  location: https://github.com/tek/incipit
 
 library
   exposed-modules:
       Zeugma
       Zeugma.Run
       Zeugma.TestError
+  other-modules:
+      Paths_zeugma
+  autogen-modules:
+      Paths_zeugma
   reexported-modules:
       Hedgehog
     , Polysemy.Test
@@ -41,75 +45,75 @@
   default-extensions:
       AllowAmbiguousTypes
       ApplicativeDo
-      BangPatterns
-      BinaryLiterals
       BlockArguments
-      ConstraintKinds
       DataKinds
       DefaultSignatures
       DeriveAnyClass
-      DeriveDataTypeable
-      DeriveFoldable
-      DeriveFunctor
-      DeriveGeneric
-      DeriveLift
-      DeriveTraversable
       DerivingStrategies
       DerivingVia
       DisambiguateRecordFields
-      DoAndIfThenElse
       DuplicateRecordFields
-      EmptyCase
-      EmptyDataDecls
-      ExistentialQuantification
-      FlexibleContexts
-      FlexibleInstances
       FunctionalDependencies
       GADTs
-      GeneralizedNewtypeDeriving
-      InstanceSigs
-      KindSignatures
       LambdaCase
       LiberalTypeSynonyms
-      MultiParamTypeClasses
       MultiWayIf
-      NamedFieldPuns
       OverloadedLabels
       OverloadedLists
       OverloadedStrings
       PackageImports
       PartialTypeSignatures
-      PatternGuards
       PatternSynonyms
-      PolyKinds
       QuantifiedConstraints
       QuasiQuotes
-      RankNTypes
       RecordWildCards
       RecursiveDo
       RoleAnnotations
-      ScopedTypeVariables
-      StandaloneDeriving
       TemplateHaskell
-      TupleSections
-      TypeApplications
       TypeFamilies
       TypeFamilyDependencies
-      TypeOperators
-      TypeSynonymInstances
       UndecidableInstances
       UnicodeSyntax
       ViewPatterns
-  ghc-options: -Wall -Wredundant-constraints -Wincomplete-uni-patterns -Wmissing-deriving-strategies -Widentities -Wunused-packages
+      BangPatterns
+      BinaryLiterals
+      ConstraintKinds
+      DeriveDataTypeable
+      DeriveFoldable
+      DeriveFunctor
+      DeriveGeneric
+      DeriveLift
+      DeriveTraversable
+      DoAndIfThenElse
+      EmptyCase
+      EmptyDataDecls
+      ExistentialQuantification
+      FlexibleContexts
+      FlexibleInstances
+      GeneralizedNewtypeDeriving
+      InstanceSigs
+      KindSignatures
+      MultiParamTypeClasses
+      NamedFieldPuns
+      PatternGuards
+      PolyKinds
+      RankNTypes
+      ScopedTypeVariables
+      StandaloneDeriving
+      TupleSections
+      TypeApplications
+      TypeOperators
+      TypeSynonymInstances
+  ghc-options: -Wall -Widentities -Wincomplete-uni-patterns -Wmissing-deriving-strategies -Wredundant-constraints -Wunused-type-patterns -Wunused-packages
   build-depends:
-      chronos
+      base ==4.*
+    , chronos
     , hedgehog
-    , incipit ==0.7.0.0
+    , incipit ==0.8.0.0
     , polysemy ==1.9.*
     , polysemy-chronos ==0.6.*
     , polysemy-test ==0.7.*
     , tasty ==1.4.*
     , tasty-expected-failure ==0.12.*
     , tasty-hedgehog >=1.3 && <1.5
-    , unix
   default-language: Haskell2010