diff --git a/kernel-laws/src/main/scala/cats/kernel/laws/SemigroupLaws.scala b/kernel-laws/src/main/scala/cats/kernel/laws/SemigroupLaws.scala
index 6c290b6ac8..52265cbb54 100644
--- a/kernel-laws/src/main/scala/cats/kernel/laws/SemigroupLaws.scala
+++ b/kernel-laws/src/main/scala/cats/kernel/laws/SemigroupLaws.scala
@@ -8,10 +8,10 @@ trait SemigroupLaws[A] {
   def semigroupAssociative(x: A, y: A, z: A): IsEq[A] =
     S.combine(S.combine(x, y), z) <-> S.combine(x, S.combine(y, z))
 
-  def repeat1(a: A, i: Int): IsEq[A] =
+  def repeat1(a: A): IsEq[A] =
     S.combineN(a, 1) <-> a
 
-  def repeat2(a: A, i: Int): IsEq[A] =
+  def repeat2(a: A): IsEq[A] =
     S.combineN(a, 2) <-> S.combine(a, a)
 
   def combineAllOption(xs: Vector[A]): IsEq[Option[A]] =
diff --git a/kernel-laws/src/main/scala/cats/kernel/laws/discipline/package.scala b/kernel-laws/src/main/scala/cats/kernel/laws/discipline/package.scala
index f5b0239b3b..c96cafc65d 100644
--- a/kernel-laws/src/main/scala/cats/kernel/laws/discipline/package.scala
+++ b/kernel-laws/src/main/scala/cats/kernel/laws/discipline/package.scala
@@ -4,6 +4,6 @@ import cats.kernel.Eq
 import org.scalacheck.Prop
 
 package object discipline {
-  implicit def catsLawsIsEqToProp[A: Eq](isEq: IsEq[A])(implicit ev: Eq[A]): Prop =
+  implicit def catsLawsIsEqToProp[A](isEq: IsEq[A])(implicit ev: Eq[A]): Prop =
     ev.eqv(isEq.lhs, isEq.rhs)
 }