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;