diff --git a/effectful-core/src/Effectful/Internal/Monad.hs b/effectful-core/src/Effectful/Internal/Monad.hs
index f4144ad..d287fb4 100644
--- a/effectful-core/src/Effectful/Internal/Monad.hs
+++ b/effectful-core/src/Effectful/Internal/Monad.hs
@@ -347,7 +347,7 @@ data Fail :: Effect where
 type instance DispatchOf Fail = Dynamic
 
 instance Fail :> es => MonadFail (Eff es) where
-  fail msg = withFrozenCallStack $ send (Fail msg)
+  fail msg = send (Fail msg)
 
 ----------------------------------------
 -- IO
diff --git a/effectful-core/src/Effectful/NonDet.hs b/effectful-core/src/Effectful/NonDet.hs
index 9fb4b33..f7604df 100644
--- a/effectful-core/src/Effectful/NonDet.hs
+++ b/effectful-core/src/Effectful/NonDet.hs
@@ -109,7 +109,7 @@ runNonDetRollback = reinterpret setup $ \env -> \case
 --
 -- @since 2.2.0.0
 emptyEff :: (HasCallStack, NonDet :> es) => Eff es a
-emptyEff = withFrozenCallStack $ send Empty
+emptyEff = withFrozenCallStack send Empty
 
 -- | Specialized version of 'asum' with the 'HasCallStack' constraint for
 -- tracking purposes.