Fix compilation

typelevel · Aug 11, 2022 · e10b935 · e10b935
1 parent 6dd9ca3
commit e10b935
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/docs/typeclasses/invariantmonoidal.md b/docs/typeclasses/invariantmonoidal.md
@@ -27,7 +27,7 @@ def unit: Semigroup[Unit] =
   Semigroup.instance((_, _) => ())
 
 def product[A, B](fa: Semigroup[A], fb: Semigroup[B]): Semigroup[(A, B)] =
-  Semigroup.instances { case ((xa, xb), (ya, yb)) =>
+  Semigroup.instance { case ((xa, xb), (ya, yb)) =>
     fa.combine(xa, ya) -> fb.combine(xb, yb)
   }
 ```

diff --git a/free/src/test/scala/cats/free/FreeTSuite.scala b/free/src/test/scala/cats/free/FreeTSuite.scala
@@ -302,9 +302,9 @@ trait FreeTSuiteInstances {
     override def map[A, B](fa: JustFunctor[A])(f: A => B): JustFunctor[B] = JustFunctor(f(fa.a))
   }
 
-  implicit def freeTOptionEq[A](implicit A: Eq[A], OM: Monad[Option]): Eq[FreeTOption[A]] =
+  implicit def freeTOptionEq[A](implicit A: Eq[A]): Eq[FreeTOption[A]] =
     Eq.by(_.runM(identity))
 
-  implicit def freeTStateEq[A](implicit A: Eq[A], SM: Monad[IntState]): Eq[FreeTState[A]] =
+  implicit def freeTStateEq[A](implicit A: Eq[A]): Eq[FreeTState[A]] =
     Eq.by(_.runM(identity))
 }