cats.kernel.laws.discipline.EqTests#eqv requires an implicit Eq[A], while it already has one, in the EqLaws[A] instance it has. Thus the implicit Eq[A] parameter is unnecessary and could be removed.
+1
I can look at this this weekend if no one has bandwidth before then.
Most helpful comment
I can look at this this weekend if no one has bandwidth before then.