An Eq[F[A]] instance is still needed

typelevel · Nov 3, 2015 · 05c2c87 · 05c2c87
1 parent b630c03
commit 05c2c87
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/laws/src/main/scala/cats/laws/discipline/BimonadTests.scala b/laws/src/main/scala/cats/laws/discipline/BimonadTests.scala
@@ -12,6 +12,7 @@ trait BimonadTests[F[_]] extends MonadTests[F] with ComonadTests[F] {
   def bimonad[A: Arbitrary: Eq, B: Arbitrary: Eq, C: Arbitrary: Eq]: RuleSet = {
     implicit val arbfa: Arbitrary[F[A]] = ArbitraryK[F].synthesize[A]
     implicit val arbffa: Arbitrary[F[F[A]]] = ArbitraryK[F].synthesize[F[A]]
+    implicit val eqfa: Eq[F[A]] = EqK[F].synthesize[A]
     implicit val eqffa: Eq[F[F[A]]] = EqK[F].synthesize[F[A]]
     new RuleSet {
       def name: String = "bimonad"