diff --git a/src/Analysis/Abstract/Dead.hs b/src/Analysis/Abstract/Dead.hs
index 37ce6d6f2..7388449c1 100644
--- a/src/Analysis/Abstract/Dead.hs
+++ b/src/Analysis/Abstract/Dead.hs
@@ -44,7 +44,7 @@ evalDead :: forall v term
          -> DeadCodeResult term v
 evalDead e0 = run @(DeadCodeInterpreter term v) $ do
   killAll (Dead (subterms e0))
-  fix (evDead (\ recur yield -> eval recur yield . project)) pure e0
+  fix (evDead ev) pure e0
 
 evDead :: (Ord t, MonadDead t m)
        => (Eval' t m v -> Eval' t m v)