diff --git a/src/func/local.rs b/src/func/local.rs
index 05a7eba..2419699 100644
--- a/src/func/local.rs
+++ b/src/func/local.rs
@@ -4,7 +4,7 @@ use super::{controlflow::ControlFlowInstance, *};
 pub trait LocalFunctor<'a>: WeakFunctor<'a> {
     /// Extract iteration state, if successful.
     fn unstuff<A: 'a, B: 'a>(state: Self::F<ControlFlow<B, A>>) -> ControlFlow<Self::F<B>, A> {
-        Self::stuff::<_, ControlFlowInstance<A>>(state)
+        Self::stuff::<_, ControlFlowInstance<_>>(state)
     }
 
     /// Stuff wrapped result into another functor.