There is no way Lambda 6 will continue supporting this broken compiler

jnape · jnape · commit c0dc47299e05 · 2019-08-22T11:50:54.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
@@ -290,8 +290,9 @@ public Either<L, R> throwError(L l) {
      * {@inheritDoc}
      */
     @Override
+    @SuppressWarnings("RedundantTypeArguments")
     public Either<L, R> catchError(Fn1<? super L, ? extends Monad<R, Either<L, ?>>> recoveryFn) {
-        return match(recoveryFn.fmap(Monad::coerce), Either::right);
+        return match(recoveryFn.fmap(Monad<R, Either<L, ?>>::coerce), Either::right);
     }
 
     /**
diff --git a/src/main/java/com/jnape/palatable/lambda/optics/Iso.java b/src/main/java/com/jnape/palatable/lambda/optics/Iso.java
@@ -15,7 +15,6 @@
 import com.jnape.palatable.lambda.optics.functions.View;
 
 import static com.jnape.palatable.lambda.functions.Fn1.fn1;
-import static com.jnape.palatable.lambda.functions.Fn2.curried;
 import static com.jnape.palatable.lambda.functions.builtin.fn1.Constantly.constantly;
 import static com.jnape.palatable.lambda.functions.builtin.fn1.Id.id;
 import static com.jnape.palatable.lambda.optics.Iso.Simple.adapt;
@@ -137,12 +136,13 @@ default <U> Iso<S, T, A, B> discardR(Applicative<U, Iso<S, ?, A, B>> appB) {
      * {@inheritDoc}
      */
     @Override
+    @SuppressWarnings("RedundantTypeArguments")
     default <U> Iso<S, U, A, B> flatMap(Fn1<? super T, ? extends Monad<U, Iso<S, ?, A, B>>> fn) {
-        return unIso()
-                .<Fn2<B, B, U>>fmap(bt -> curried(fn1(bt.fmap(fn.<Iso<S, U, A, B>>fmap(Monad::coerce))
-                                                              .fmap(Iso::unIso)
-                                                              .fmap(Tuple2::_2)
-                                                              .fmap(Fn1::fn1))))
+        return unIso().<Fn2<B, B, U>>fmap(bt -> Fn2.<B, B, U>curried(
+                fn1(bt.fmap(fn.<Iso<S, U, A, B>>fmap(Monad<U, Iso<S, ?, A, B>>::coerce))
+                            .fmap(Iso::unIso)
+                            .fmap(Tuple2::_2)
+                            .fmap(Fn1::fn1))))
                 .fmap(Fn2::uncurry)
                 .fmap(bbu -> bbu.<B>diMapL(Tuple2::fill))
                 .into(Iso::iso);
