From 96127f9388aff5b35880fb2ceccb7f15f8b3740b Mon Sep 17 00:00:00 2001
From: timofey <tim@ongoteam.yaconnect.com>
Date: Sat, 20 May 2023 11:24:30 +0000
Subject: [PATCH] `I` -> `F`

---
 src/func/controlflow.rs | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

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 {