From 9a6671c71189d6ea421874ec9de58846f37f1f0e Mon Sep 17 00:00:00 2001
From: timofey <tim@ongoteam.yaconnect.com>
Date: Tue, 1 Aug 2023 09:59:52 +0000
Subject: [PATCH] `ComposedIterative` reformat

---
 src/func/instances/composition.rs | 11 +++++------
 1 file changed, 5 insertions(+), 6 deletions(-)

diff --git a/src/func/instances/composition.rs b/src/func/instances/composition.rs
index 124f8d0..de0503f 100644
--- a/src/func/instances/composition.rs
+++ b/src/func/instances/composition.rs
@@ -111,12 +111,11 @@ impl<'a, U: Monad<'a>, V: Monad<'a> + LocalFunctor<'a>> Monad<'a> for Compositio
 
 struct ComposedIterative<F>(F);
 
-impl<
-        'a,
-        U: Monad<'a>,
-        V: Monad<'a> + LocalFunctor<'a>,
-        F: Iterative<'a, T = CompositionInstance<U, V>>,
-    > Iterative<'a> for ComposedIterative<F>
+impl<'a, U, V, F> Iterative<'a> for ComposedIterative<F>
+where
+    U: Monad<'a>,
+    V: Monad<'a> + LocalFunctor<'a>,
+    F: Iterative<'a, T = CompositionInstance<U, V>>,
 {
     type B = Wrap<'a, F::B, V>;
     type T = U;