Call this a "type checker" with a straight face, I dare you

jnape · jnape · commit b5fb01d32021 · 2019-06-30T16:43:27.000-05:00
diff --git a/src/main/java/com/jnape/palatable/lambda/io/IO.java b/src/main/java/com/jnape/palatable/lambda/io/IO.java
@@ -98,14 +98,17 @@ public final IO<A> exceptionallyIO(Fn1<? super Throwable, ? extends IO<A>> recov
         return new IO<A>() {
             @Override
             public A unsafePerformIO() {
-                return trying(IO.this::unsafePerformIO)
-                        .recover(t -> trying(recoveryFn.apply(t)::unsafePerformIO)
-                                .fmap(Try::success)
-                                .recover(t2 -> {
-                                    t.addSuppressed(t2);
-                                    return failure(t);
-                                })
-                                .orThrow());
+                return trying(fn0(IO.this::unsafePerformIO))
+                        .recover(t -> {
+                            IO<A> recoveryIO = recoveryFn.apply(t);
+                            return trying(fn0(recoveryIO::unsafePerformIO))
+                                    .fmap(Try::success)
+                                    .recover(t2 -> {
+                                        t.addSuppressed(t2);
+                                        return failure(t);
+                                    })
+                                    .orThrow();
+                        });
             }
 
             @Override
