Traversable#traverse requires one less type parameter

jnape · jnape · commit 6f30dee6d935 · 2019-05-17T18:53:38.000-05:00
diff --git a/src/main/java/com/jnape/palatable/lambda/adt/Either.java b/src/main/java/com/jnape/palatable/lambda/adt/Either.java
@@ -282,8 +282,7 @@ public final <R2> Either<L, R> discardR(Applicative<R2, Either<L, ?>> appB) {
     @Override
     @SuppressWarnings("unchecked")
     public final <R2, App extends Applicative<?, App>, TravB extends Traversable<R2, Either<L, ?>>,
-            AppB extends Applicative<R2, App>,
-            AppTrav extends Applicative<TravB, App>> AppTrav traverse(Fn1<? super R, ? extends AppB> fn,
+            AppTrav extends Applicative<TravB, App>> AppTrav traverse(Fn1<? super R, ? extends Applicative<R2, App>> fn,
                                                                       Fn1<? super TravB, ? extends AppTrav> pure) {
         return (AppTrav) match(l -> pure.apply((TravB) left(l)), r -> fn.apply(r).fmap(Either::right));
     }
diff --git a/src/main/java/com/jnape/palatable/lambda/adt/Maybe.java b/src/main/java/com/jnape/palatable/lambda/adt/Maybe.java
@@ -213,8 +213,7 @@ public final Maybe<A> peek(Fn1<? super A, ? extends IO<?>> effect) {
     @Override
     @SuppressWarnings("unchecked")
     public final <B, App extends Applicative<?, App>, TravB extends Traversable<B, Maybe<?>>,
-            AppB extends Applicative<B, App>,
-            AppTrav extends Applicative<TravB, App>> AppTrav traverse(Fn1<? super A, ? extends AppB> fn,
+            AppTrav extends Applicative<TravB, App>> AppTrav traverse(Fn1<? super A, ? extends Applicative<B, App>> fn,
                                                                       Fn1<? super TravB, ? extends AppTrav> pure) {
         return match(__ -> pure.apply((TravB) Maybe.<B>nothing()), a -> (AppTrav) fn.apply(a).fmap(Maybe::just));
     }
diff --git a/src/main/java/com/jnape/palatable/lambda/adt/These.java b/src/main/java/com/jnape/palatable/lambda/adt/These.java
@@ -62,8 +62,8 @@ public final <C> These<A, C> pure(C c) {
     @Override
     @SuppressWarnings("unchecked")
     public <C, App extends Applicative<?, App>, TravB extends Traversable<C, These<A, ?>>,
-            AppB extends Applicative<C, App>, AppTrav extends Applicative<TravB, App>>
-    AppTrav traverse(Fn1<? super B, ? extends AppB> fn, Fn1<? super TravB, ? extends AppTrav> pure) {
+            AppTrav extends Applicative<TravB, App>>
+    AppTrav traverse(Fn1<? super B, ? extends Applicative<C, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) {
         return match(a -> pure.apply((TravB) a(a)),
                      b -> fn.apply(b).fmap(this::pure).<TravB>fmap(Applicative::coerce).coerce(),
                      into((a, b) -> fn.apply(b).fmap(c -> both(a, c)).<TravB>fmap(Applicative::coerce).coerce()));
diff --git a/src/main/java/com/jnape/palatable/lambda/adt/Try.java b/src/main/java/com/jnape/palatable/lambda/adt/Try.java
@@ -224,8 +224,7 @@ public <B> Try<A> discardR(Applicative<B, Try<?>> appB) {
     @Override
     @SuppressWarnings("unchecked")
     public <B, App extends Applicative<?, App>, TravB extends Traversable<B, Try<?>>,
-            AppB extends Applicative<B, App>,
-            AppTrav extends Applicative<TravB, App>> AppTrav traverse(Fn1<? super A, ? extends AppB> fn,
+            AppTrav extends Applicative<TravB, App>> AppTrav traverse(Fn1<? super A, ? extends Applicative<B, App>> fn,
                                                                       Fn1<? super TravB, ? extends AppTrav> pure) {
         return match(t -> pure.apply((TravB) failure(t)),
                      a -> fn.apply(a).fmap(Try::success).<TravB>fmap(Applicative::coerce).coerce());
diff --git a/src/main/java/com/jnape/palatable/lambda/adt/choice/Choice2.java b/src/main/java/com/jnape/palatable/lambda/adt/choice/Choice2.java
@@ -151,8 +151,7 @@ public final <C> Choice2<A, C> flatMap(Fn1<? super B, ? extends Monad<C, Choice2
     @Override
     @SuppressWarnings("unchecked")
     public <C, App extends Applicative<?, App>, TravB extends Traversable<C, Choice2<A, ?>>,
-            AppB extends Applicative<C, App>,
-            AppTrav extends Applicative<TravB, App>> AppTrav traverse(Fn1<? super B, ? extends AppB> fn,
+            AppTrav extends Applicative<TravB, App>> AppTrav traverse(Fn1<? super B, ? extends Applicative<C, App>> fn,
                                                                       Fn1<? super TravB, ? extends AppTrav> pure) {
         return match(a -> pure.apply((TravB) a(a)),
                      b -> fn.apply(b).<Choice2<A, C>>fmap(Choice2::b).<TravB>fmap(Functor::coerce).coerce());
diff --git a/src/main/java/com/jnape/palatable/lambda/adt/choice/Choice3.java b/src/main/java/com/jnape/palatable/lambda/adt/choice/Choice3.java
@@ -152,8 +152,7 @@ public <D> Choice3<A, B, D> flatMap(Fn1<? super C, ? extends Monad<D, Choice3<A,
     @Override
     @SuppressWarnings("unchecked")
     public <D, App extends Applicative<?, App>, TravB extends Traversable<D, Choice3<A, B, ?>>,
-            AppB extends Applicative<D, App>,
-            AppTrav extends Applicative<TravB, App>> AppTrav traverse(Fn1<? super C, ? extends AppB> fn,
+            AppTrav extends Applicative<TravB, App>> AppTrav traverse(Fn1<? super C, ? extends Applicative<D, App>> fn,
                                                                       Fn1<? super TravB, ? extends AppTrav> pure) {
         return match(a -> pure.apply((TravB) Choice3.<A, B, D>a(a)).coerce(),
                      b -> pure.apply((TravB) Choice3.<A, B, D>b(b)).coerce(),
diff --git a/src/main/java/com/jnape/palatable/lambda/adt/choice/Choice4.java b/src/main/java/com/jnape/palatable/lambda/adt/choice/Choice4.java
@@ -152,8 +152,7 @@ public <E> Choice4<A, B, C, E> flatMap(Fn1<? super D, ? extends Monad<E, Choice4
     @Override
     @SuppressWarnings("unchecked")
     public <E, App extends Applicative<?, App>, TravB extends Traversable<E, Choice4<A, B, C, ?>>,
-            AppB extends Applicative<E, App>,
-            AppTrav extends Applicative<TravB, App>> AppTrav traverse(Fn1<? super D, ? extends AppB> fn,
+            AppTrav extends Applicative<TravB, App>> AppTrav traverse(Fn1<? super D, ? extends Applicative<E, App>> fn,
                                                                       Fn1<? super TravB, ? extends AppTrav> pure) {
         return match(a -> pure.apply((TravB) Choice4.<A, B, C, E>a(a)).coerce(),
                      b -> pure.apply((TravB) Choice4.<A, B, C, E>b(b)).coerce(),
diff --git a/src/main/java/com/jnape/palatable/lambda/adt/choice/Choice5.java b/src/main/java/com/jnape/palatable/lambda/adt/choice/Choice5.java
@@ -156,8 +156,7 @@ public <F> Choice5<A, B, C, D, F> flatMap(Fn1<? super E, ? extends Monad<F, Choi
     @Override
     @SuppressWarnings("unchecked")
     public <F, App extends Applicative<?, App>, TravB extends Traversable<F, Choice5<A, B, C, D, ?>>,
-            AppB extends Applicative<F, App>,
-            AppTrav extends Applicative<TravB, App>> AppTrav traverse(Fn1<? super E, ? extends AppB> fn,
+            AppTrav extends Applicative<TravB, App>> AppTrav traverse(Fn1<? super E, ? extends Applicative<F, App>> fn,
                                                                       Fn1<? super TravB, ? extends AppTrav> pure) {
         return match(a -> pure.apply((TravB) Choice5.<A, B, C, D, F>a(a)).coerce(),
                      b -> pure.apply((TravB) Choice5.<A, B, C, D, F>b(b)).coerce(),
diff --git a/src/main/java/com/jnape/palatable/lambda/adt/choice/Choice6.java b/src/main/java/com/jnape/palatable/lambda/adt/choice/Choice6.java
@@ -161,8 +161,7 @@ public <G> Choice6<A, B, C, D, E, G> flatMap(Fn1<? super F, ? extends Monad<G, C
     @Override
     @SuppressWarnings("unchecked")
     public <G, App extends Applicative<?, App>, TravB extends Traversable<G, Choice6<A, B, C, D, E, ?>>,
-            AppB extends Applicative<G, App>,
-            AppTrav extends Applicative<TravB, App>> AppTrav traverse(Fn1<? super F, ? extends AppB> fn,
+            AppTrav extends Applicative<TravB, App>> AppTrav traverse(Fn1<? super F, ? extends Applicative<G, App>> fn,
                                                                       Fn1<? super TravB, ? extends AppTrav> pure) {
         return match(a -> pure.apply((TravB) Choice6.<A, B, C, D, E, G>a(a)).coerce(),
                      b -> pure.apply((TravB) Choice6.<A, B, C, D, E, G>b(b)).coerce(),
diff --git a/src/main/java/com/jnape/palatable/lambda/adt/choice/Choice7.java b/src/main/java/com/jnape/palatable/lambda/adt/choice/Choice7.java
@@ -163,8 +163,7 @@ public <H> Choice7<A, B, C, D, E, F, H> flatMap(
     @Override
     @SuppressWarnings("unchecked")
     public <H, App extends Applicative<?, App>, TravB extends Traversable<H, Choice7<A, B, C, D, E, F, ?>>,
-            AppB extends Applicative<H, App>,
-            AppTrav extends Applicative<TravB, App>> AppTrav traverse(Fn1<? super G, ? extends AppB> fn,
+            AppTrav extends Applicative<TravB, App>> AppTrav traverse(Fn1<? super G, ? extends Applicative<H, App>> fn,
                                                                       Fn1<? super TravB, ? extends AppTrav> pure) {
         return match(a -> pure.apply((TravB) Choice7.<A, B, C, D, E, F, H>a(a)).coerce(),
                      b -> pure.apply((TravB) Choice7.<A, B, C, D, E, F, H>b(b)).coerce(),
diff --git a/src/main/java/com/jnape/palatable/lambda/adt/choice/Choice8.java b/src/main/java/com/jnape/palatable/lambda/adt/choice/Choice8.java
@@ -157,8 +157,7 @@ public <I> Choice8<A, B, C, D, E, F, G, I> flatMap(
     @Override
     @SuppressWarnings("unchecked")
     public <I, App extends Applicative<?, App>, TravB extends Traversable<I, Choice8<A, B, C, D, E, F, G, ?>>,
-            AppB extends Applicative<I, App>,
-            AppTrav extends Applicative<TravB, App>> AppTrav traverse(Fn1<? super H, ? extends AppB> fn,
+            AppTrav extends Applicative<TravB, App>> AppTrav traverse(Fn1<? super H, ? extends Applicative<I, App>> fn,
                                                                       Fn1<? super TravB, ? extends AppTrav> pure) {
         return match(a -> pure.apply((TravB) Choice8.<A, B, C, D, E, F, G, I>a(a)).coerce(),
                      b -> pure.apply((TravB) Choice8.<A, B, C, D, E, F, G, I>b(b)).coerce(),
diff --git a/src/main/java/com/jnape/palatable/lambda/adt/hlist/SingletonHList.java b/src/main/java/com/jnape/palatable/lambda/adt/hlist/SingletonHList.java
@@ -70,8 +70,7 @@ public <_1Prime> SingletonHList<_1Prime> flatMap(Fn1<? super _1, ? extends Monad
 
     @Override
     public <B, App extends Applicative<?, App>, TravB extends Traversable<B, SingletonHList<?>>,
-            AppB extends Applicative<B, App>,
-            AppTrav extends Applicative<TravB, App>> AppTrav traverse(Fn1<? super _1, ? extends AppB> fn,
+            AppTrav extends Applicative<TravB, App>> AppTrav traverse(Fn1<? super _1, ? extends Applicative<B, App>> fn,
                                                                       Fn1<? super TravB, ? extends AppTrav> pure) {
         return fn.apply(head()).fmap(SingletonHList::new).<TravB>fmap(Applicative::coerce).coerce();
     }
diff --git a/src/main/java/com/jnape/palatable/lambda/adt/hlist/Tuple2.java b/src/main/java/com/jnape/palatable/lambda/adt/hlist/Tuple2.java
@@ -133,9 +133,9 @@ public <_2Prime> Tuple2<_1, _2Prime> flatMap(Fn1<? super _2, ? extends Monad<_2P
 
     @Override
     public <_2Prime, App extends Applicative<?, App>, TravB extends Traversable<_2Prime, Tuple2<_1, ?>>,
-            AppB extends Applicative<_2Prime, App>,
-            AppTrav extends Applicative<TravB, App>> AppTrav traverse(Fn1<? super _2, ? extends AppB> fn,
-                                                                      Fn1<? super TravB, ? extends AppTrav> pure) {
+            AppTrav extends Applicative<TravB, App>> AppTrav traverse(
+            Fn1<? super _2, ? extends Applicative<_2Prime, App>> fn,
+            Fn1<? super TravB, ? extends AppTrav> pure) {
         return fn.apply(_2).fmap(_2Prime -> fmap(constantly(_2Prime))).<TravB>fmap(Applicative::coerce).coerce();
     }
 
diff --git a/src/main/java/com/jnape/palatable/lambda/adt/hlist/Tuple3.java b/src/main/java/com/jnape/palatable/lambda/adt/hlist/Tuple3.java
@@ -135,9 +135,9 @@ public <_3Prime> Tuple3<_1, _2, _3Prime> flatMap(
 
     @Override
     public <_3Prime, App extends Applicative<?, App>, TravB extends Traversable<_3Prime, Tuple3<_1, _2, ?>>,
-            AppB extends Applicative<_3Prime, App>,
-            AppTrav extends Applicative<TravB, App>> AppTrav traverse(Fn1<? super _3, ? extends AppB> fn,
-                                                                      Fn1<? super TravB, ? extends AppTrav> pure) {
+            AppTrav extends Applicative<TravB, App>> AppTrav traverse(
+            Fn1<? super _3, ? extends Applicative<_3Prime, App>> fn,
+            Fn1<? super TravB, ? extends AppTrav> pure) {
         return fn.apply(_3).fmap(_3Prime -> fmap(constantly(_3Prime))).<TravB>fmap(Applicative::coerce).coerce();
     }
 
diff --git a/src/main/java/com/jnape/palatable/lambda/adt/hlist/Tuple4.java b/src/main/java/com/jnape/palatable/lambda/adt/hlist/Tuple4.java
@@ -150,9 +150,9 @@ public <_4Prime> Tuple4<_1, _2, _3, _4Prime> flatMap(
 
     @Override
     public <_4Prime, App extends Applicative<?, App>, TravB extends Traversable<_4Prime, Tuple4<_1, _2, _3, ?>>,
-            AppB extends Applicative<_4Prime, App>,
-            AppTrav extends Applicative<TravB, App>> AppTrav traverse(Fn1<? super _4, ? extends AppB> fn,
-                                                                      Fn1<? super TravB, ? extends AppTrav> pure) {
+            AppTrav extends Applicative<TravB, App>> AppTrav traverse(
+            Fn1<? super _4, ? extends Applicative<_4Prime, App>> fn,
+            Fn1<? super TravB, ? extends AppTrav> pure) {
         return fn.apply(_4).fmap(_4Prime -> fmap(constantly(_4Prime))).<TravB>fmap(Applicative::coerce).coerce();
     }
 
diff --git a/src/main/java/com/jnape/palatable/lambda/adt/hlist/Tuple5.java b/src/main/java/com/jnape/palatable/lambda/adt/hlist/Tuple5.java
@@ -170,9 +170,9 @@ public <_5Prime> Tuple5<_1, _2, _3, _4, _5Prime> flatMap(
 
     @Override
     public <_5Prime, App extends Applicative<?, App>, TravB extends Traversable<_5Prime, Tuple5<_1, _2, _3, _4, ?>>,
-            AppB extends Applicative<_5Prime, App>,
-            AppTrav extends Applicative<TravB, App>> AppTrav traverse(Fn1<? super _5, ? extends AppB> fn,
-                                                                      Fn1<? super TravB, ? extends AppTrav> pure) {
+            AppTrav extends Applicative<TravB, App>> AppTrav traverse(
+            Fn1<? super _5, ? extends Applicative<_5Prime, App>> fn,
+            Fn1<? super TravB, ? extends AppTrav> pure) {
         return fn.apply(_5).fmap(_3Prime -> fmap(constantly(_3Prime))).<TravB>fmap(Applicative::coerce).coerce();
     }
 
diff --git a/src/main/java/com/jnape/palatable/lambda/adt/hlist/Tuple6.java b/src/main/java/com/jnape/palatable/lambda/adt/hlist/Tuple6.java
@@ -191,9 +191,9 @@ public <_6Prime> Tuple6<_1, _2, _3, _4, _5, _6Prime> flatMap(
 
     @Override
     public <_6Prime, App extends Applicative<?, App>, TravB extends Traversable<_6Prime, Tuple6<_1, _2, _3, _4, _5, ?>>,
-            AppB extends Applicative<_6Prime, App>,
-            AppTrav extends Applicative<TravB, App>> AppTrav traverse(Fn1<? super _6, ? extends AppB> fn,
-                                                                      Fn1<? super TravB, ? extends AppTrav> pure) {
+            AppTrav extends Applicative<TravB, App>> AppTrav traverse(
+            Fn1<? super _6, ? extends Applicative<_6Prime, App>> fn,
+            Fn1<? super TravB, ? extends AppTrav> pure) {
         return fn.apply(_6).fmap(_6Prime -> fmap(constantly(_6Prime))).<TravB>fmap(Applicative::coerce).coerce();
     }
 
diff --git a/src/main/java/com/jnape/palatable/lambda/adt/hlist/Tuple7.java b/src/main/java/com/jnape/palatable/lambda/adt/hlist/Tuple7.java
@@ -212,9 +212,9 @@ public <_7Prime> Tuple7<_1, _2, _3, _4, _5, _6, _7Prime> flatMap(
     @Override
     public <_7Prime, App extends Applicative<?, App>,
             TravB extends Traversable<_7Prime, Tuple7<_1, _2, _3, _4, _5, _6, ?>>,
-            AppB extends Applicative<_7Prime, App>,
-            AppTrav extends Applicative<TravB, App>> AppTrav traverse(Fn1<? super _7, ? extends AppB> fn,
-                                                                      Fn1<? super TravB, ? extends AppTrav> pure) {
+            AppTrav extends Applicative<TravB, App>> AppTrav traverse(
+            Fn1<? super _7, ? extends Applicative<_7Prime, App>> fn,
+            Fn1<? super TravB, ? extends AppTrav> pure) {
         return fn.apply(_7).fmap(_7Prime -> fmap(constantly(_7Prime))).<TravB>fmap(Applicative::coerce).coerce();
     }
 
diff --git a/src/main/java/com/jnape/palatable/lambda/adt/hlist/Tuple8.java b/src/main/java/com/jnape/palatable/lambda/adt/hlist/Tuple8.java
@@ -232,9 +232,9 @@ public <_8Prime> Tuple8<_1, _2, _3, _4, _5, _6, _7, _8Prime> flatMap(
     @Override
     public <_8Prime, App extends Applicative<?, App>,
             TravB extends Traversable<_8Prime, Tuple8<_1, _2, _3, _4, _5, _6, _7, ?>>,
-            AppB extends Applicative<_8Prime, App>,
-            AppTrav extends Applicative<TravB, App>> AppTrav traverse(Fn1<? super _8, ? extends AppB> fn,
-                                                                      Fn1<? super TravB, ? extends AppTrav> pure) {
+            AppTrav extends Applicative<TravB, App>> AppTrav traverse(
+            Fn1<? super _8, ? extends Applicative<_8Prime, App>> fn,
+            Fn1<? super TravB, ? extends AppTrav> pure) {
         return fn.apply(_8).fmap(_8Prime -> fmap(constantly(_8Prime))).<TravB>fmap(Applicative::coerce).coerce();
     }
 
diff --git a/src/main/java/com/jnape/palatable/lambda/functions/recursion/RecursiveResult.java b/src/main/java/com/jnape/palatable/lambda/functions/recursion/RecursiveResult.java
@@ -78,8 +78,7 @@ public <C> RecursiveResult<A, B> discardR(Applicative<C, RecursiveResult<A, ?>>
 
     @Override
     public <C, App extends Applicative<?, App>, TravB extends Traversable<C, RecursiveResult<A, ?>>,
-            AppB extends Applicative<C, App>,
-            AppTrav extends Applicative<TravB, App>> AppTrav traverse(Fn1<? super B, ? extends AppB> fn,
+            AppTrav extends Applicative<TravB, App>> AppTrav traverse(Fn1<? super B, ? extends Applicative<C, App>> fn,
                                                                       Fn1<? super TravB, ? extends AppTrav> pure) {
         return match(__ -> pure.apply(coerce()),
                      b -> fn.apply(b).fmap(this::pure).<TravB>fmap(RecursiveResult::coerce).coerce());
diff --git a/src/main/java/com/jnape/palatable/lambda/functor/builtin/Const.java b/src/main/java/com/jnape/palatable/lambda/functor/builtin/Const.java
@@ -103,8 +103,7 @@ public <C> Const<A, C> flatMap(Fn1<? super B, ? extends Monad<C, Const<A, ?>>> f
      */
     @Override
     public <C, App extends Applicative<?, App>, TravB extends Traversable<C, Const<A, ?>>,
-            AppB extends Applicative<C, App>,
-            AppTrav extends Applicative<TravB, App>> AppTrav traverse(Fn1<? super B, ? extends AppB> fn,
+            AppTrav extends Applicative<TravB, App>> AppTrav traverse(Fn1<? super B, ? extends Applicative<C, App>> fn,
                                                                       Fn1<? super TravB, ? extends AppTrav> pure) {
         return pure.apply(coerce());
     }
diff --git a/src/main/java/com/jnape/palatable/lambda/functor/builtin/Identity.java b/src/main/java/com/jnape/palatable/lambda/functor/builtin/Identity.java
@@ -92,8 +92,7 @@ public <B> Identity<A> discardR(Applicative<B, Identity<?>> appB) {
     @Override
     @SuppressWarnings("unchecked")
     public <B, App extends Applicative<?, App>, TravB extends Traversable<B, Identity<?>>,
-            AppB extends Applicative<B, App>,
-            AppTrav extends Applicative<TravB, App>> AppTrav traverse(Fn1<? super A, ? extends AppB> fn,
+            AppTrav extends Applicative<TravB, App>> AppTrav traverse(Fn1<? super A, ? extends Applicative<B, App>> fn,
                                                                       Fn1<? super TravB, ? extends AppTrav> pure) {
         return (AppTrav) fn.apply(runIdentity()).fmap(Identity::new);
     }
diff --git a/src/main/java/com/jnape/palatable/lambda/functor/builtin/Lazy.java b/src/main/java/com/jnape/palatable/lambda/functor/builtin/Lazy.java
@@ -50,8 +50,7 @@ public <B> Lazy<B> flatMap(Fn1<? super A, ? extends Monad<B, Lazy<?>>> f) {
     @Override
     @SuppressWarnings("unchecked")
     public <B, App extends Applicative<?, App>, TravB extends Traversable<B, Lazy<?>>,
-            AppB extends Applicative<B, App>,
-            AppTrav extends Applicative<TravB, App>> AppTrav traverse(Fn1<? super A, ? extends AppB> fn,
+            AppTrav extends Applicative<TravB, App>> AppTrav traverse(Fn1<? super A, ? extends Applicative<B, App>> fn,
                                                                       Fn1<? super TravB, ? extends AppTrav> pure) {
         return fn.apply(value()).fmap(b -> (TravB) lazy(b)).coerce();
     }
diff --git a/src/main/java/com/jnape/palatable/lambda/traversable/LambdaIterable.java b/src/main/java/com/jnape/palatable/lambda/traversable/LambdaIterable.java
@@ -112,8 +112,7 @@ public <B> LambdaIterable<B> flatMap(Fn1<? super A, ? extends Monad<B, LambdaIte
     @Override
     @SuppressWarnings("unchecked")
     public <B, App extends Applicative<?, App>, TravB extends Traversable<B, LambdaIterable<?>>,
-            AppB extends Applicative<B, App>,
-            AppTrav extends Applicative<TravB, App>> AppTrav traverse(Fn1<? super A, ? extends AppB> fn,
+            AppTrav extends Applicative<TravB, App>> AppTrav traverse(Fn1<? super A, ? extends Applicative<B, App>> fn,
                                                                       Fn1<? super TravB, ? extends AppTrav> pure) {
         return FoldRight.<A, AppTrav>foldRight(
                 (a, lglb) -> fn.apply(a)
diff --git a/src/main/java/com/jnape/palatable/lambda/traversable/LambdaMap.java b/src/main/java/com/jnape/palatable/lambda/traversable/LambdaMap.java
@@ -47,15 +47,14 @@ public <C> LambdaMap<A, C> fmap(Fn1<? super B, ? extends C> fn) {
     @Override
     @SuppressWarnings("unchecked")
     public <C, App extends Applicative<?, App>, TravC extends Traversable<C, LambdaMap<A, ?>>,
-            AppC extends Applicative<C, App>,
-            AppTrav extends Applicative<TravC, App>> AppTrav traverse(Fn1<? super B, ? extends AppC> fn,
+            AppTrav extends Applicative<TravC, App>> AppTrav traverse(Fn1<? super B, ? extends Applicative<C, App>> fn,
                                                                       Fn1<? super TravC, ? extends AppTrav> pure) {
         return foldLeft(curried(appTrav -> into((k, appV) -> (AppTrav) appTrav.<TravC>zip(appV.fmap(v -> m -> {
                             ((LambdaMap<A, C>) m).unwrap().put(k, v);
                             return m;
                         })))),
                         pure.apply((TravC) LambdaMap.<A, C>wrap(new HashMap<>())),
-                        this.<AppC>fmap(fn).unwrap().entrySet());
+                        this.fmap(fn).unwrap().entrySet());
     }
 
     @Override
diff --git a/src/main/java/com/jnape/palatable/lambda/traversable/Traversable.java b/src/main/java/com/jnape/palatable/lambda/traversable/Traversable.java
