diff --git a/src/func/controlflow.rs b/src/func/controlflow.rs
index cf407cc..290944e 100644
--- a/src/func/controlflow.rs
+++ b/src/func/controlflow.rs
@@ -32,9 +32,9 @@ impl<C> Pure for ControlFlowClass<C> {
 }
 
 /// Next [AIterative] state, wrapped.
-pub type AIterativeWrapped<'a, I> = <<I as AIterative<'a>>::T as WeakFunctor>::F<
+pub type AIterativeWrapped<'a, F> = <<F as AIterative<'a>>::T as WeakFunctor>::F<
     'a,
-    ControlFlow<<I as AIterative<'a>>::B, (<I as AIterative<'a>>::A, I)>,
+    ControlFlow<<F as AIterative<'a>>::B, (<F as AIterative<'a>>::A, F)>,
 >;
 
 /// Value passed to [`Monad::iterate_argument`].
@@ -91,8 +91,8 @@ impl<
 }
 
 /// Next [Iterative] state, wrapped.
-pub type IterativeWrapped<'a, I> =
-    <<I as Iterative<'a>>::T as WeakFunctor>::F<'a, ControlFlow<<I as Iterative<'a>>::B, I>>;
+pub type IterativeWrapped<'a, F> =
+    <<F as Iterative<'a>>::T as WeakFunctor>::F<'a, ControlFlow<<F as Iterative<'a>>::B, F>>;
 
 /// Value passed to [`Monad::iterate`].
 pub trait Iterative<'a>: 'a + Sized {