diff --git a/src/func/instances/effect.rs b/src/func/instances/effect.rs
index 5334b8d..3053e97 100644
--- a/src/func/instances/effect.rs
+++ b/src/func/instances/effect.rs
@@ -59,10 +59,7 @@ impl<'a, E: 'a + Effect> Pure<'a> for EffectInstance<E> {
 }
 
 impl<'a, E: 'a + Effect> ApplicativeSeq<'a> for EffectInstance<E> {
-    fn seq<A: 'a, B: 'a>(ff: Self::Fa<impl 'a + FnOnce(A) -> B>, fa: Self::Fa<A>) -> Self::Fa<B>
-    where
-        Self: 'a,
-    {
+    fn seq<A: 'a, B: 'a>(ff: Self::Fa<impl 'a + FnOnce(A) -> B>, fa: Self::Fa<A>) -> Self::Fa<B> {
         WithEffect {
             value: (ff.value)(fa.value),
             effect: E::e_seq(ff.effect, fa.effect),
@@ -75,10 +72,7 @@ impl<'a, E: 'a + Effect> ApplicativeLA2<'a> for EffectInstance<E> {
         f: impl 'a + FnOnce(A, B) -> C,
         fa: Self::Fa<A>,
         fb: Self::Fa<B>,
-    ) -> Self::Fa<C>
-    where
-        Self: 'a,
-    {
+    ) -> Self::Fa<C> {
         WithEffect {
             value: f(fa.value, fb.value),
             effect: E::e_seq(fa.effect, fb.effect),