diff --git a/Example/DatabaseProvider/Main.hs b/Example/DatabaseProvider/Main.hs
--- a/Example/DatabaseProvider/Main.hs
+++ b/Example/DatabaseProvider/Main.hs
@@ -57,8 +57,8 @@
 main =
     runEff . runDummyDBProvider $
         provide_ "/db1" \_ -> do
-            provide_ "/db2" \outer -> do
-                outer do
+            provide_ "/db2" \detach -> do
+                detach do
                     s1 <- readDB "/a/b/c"
                     liftIO $ putStrLn $ "content: " <> show s1
                     writeDB "/d/e/f" "foobar"
@@ -72,7 +72,7 @@
                 liftIO $ putStrLn "-----"
 
                 transactDB do
-                    outer $ transactDB do
+                    detach $ transactDB do
                         liftIO $ print "hello"
 
 {-
diff --git a/heftia-effects.cabal b/heftia-effects.cabal
--- a/heftia-effects.cabal
+++ b/heftia-effects.cabal
@@ -1,6 +1,6 @@
 cabal-version:      3.0
 name:               heftia-effects
-version:            0.6.0.0
+version:            0.6.0.1
 
 -- A short (one-line) description of the package.
 synopsis: higher-order algebraic effects done right
@@ -33,7 +33,7 @@
 source-repository head
     type: git
     location: https://github.com/sayo-hs/heftia
-    tag: v0.6.0
+    tag: v0.6.0.1
     subdir: heftia-effects
 
 common common-base
@@ -53,7 +53,7 @@
 
     build-depends:
         base >= 4.17 && < 4.22,
-        data-effects ^>= 0.4,
+        data-effects ^>= 0.4.0.2,
         heftia ^>= 0.6,
         time >= 1.11.1 && < 1.15,
         unliftio ^>= 0.2,
@@ -90,7 +90,7 @@
         Control.Monad.Hefty.Log
 
     reexported-modules:
-        -- Control.Monad.Hefty,
+        Control.Monad.Hefty,
         Data.Effect,
         Data.Effect.TH,
         Data.Effect.Tag,