From 94a4941faf77fb6cc58ecb4528d957a2b992f13b Mon Sep 17 00:00:00 2001
From: Simon Vergauwen <vergauwen.simon@gmail.com>
Date: Tue, 15 Dec 2020 09:36:49 +0100
Subject: [PATCH] Remove unit usage from RecursionHelper.kt

---
 arrow-docs/src/main/kotlin/RecursionHelper.kt          | 2 +-
 arrow-optics/src/main/kotlin/arrow/optics/Traversal.kt | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/arrow-docs/src/main/kotlin/RecursionHelper.kt b/arrow-docs/src/main/kotlin/RecursionHelper.kt
index 596c875..bd12a57 100644
--- a/arrow-docs/src/main/kotlin/RecursionHelper.kt
+++ b/arrow-docs/src/main/kotlin/RecursionHelper.kt
@@ -60,7 +60,7 @@ fun <A, B> lift(arg0: Function1<A, B>): Function1<Kind<ForIntListPattern, A>, Ki
   "EXTENSION_SHADOWED_BY_MEMBER"
 )
 fun <A> Kind<ForIntListPattern, A>.void(): IntListPattern<Unit> = IntListPattern.functor().run {
-  unit<A>() as IntListPattern<kotlin.Unit>
+  void<A>() as IntListPattern<kotlin.Unit>
 }
 
 @JvmName("fproduct")
diff --git a/arrow-optics/src/main/kotlin/arrow/optics/Traversal.kt b/arrow-optics/src/main/kotlin/arrow/optics/Traversal.kt
index b581c79..adb5ab4 100644
--- a/arrow-optics/src/main/kotlin/arrow/optics/Traversal.kt
+++ b/arrow-optics/src/main/kotlin/arrow/optics/Traversal.kt
@@ -208,7 +208,7 @@ interface PTraversal<S, T, A, B> : PTraversalOf<S, T, A, B> {
    * Map each target to a Monoid and combine the results
    */
   fun <R> foldMap(M: Monoid<R>, s: S, f: (A) -> R): R =
-    modifyF(Const.applicative(M), s) { b -> Const(f(b)) }.value()
+    modifyF(Const.applicative(M), s) { b -> Const<R, B>(f(b)) }.value()
 
   /**
    * Fold using the given [Monoid] instance.