Scala 3 binary incompatibility

readme.md

• https://github.com/argonaut-io/argonaut/runs/4348041443
• https://github.com/typelevel/cats/compare/v2.6.1...v2.7.0#diff-012062374acaecdadfc59717da9eedbb8a73cfcf85c3c871d8426408c2d914aaR107

argonaut-error-log.txt

[info] PrettyParamsMonocleSpecification
[info]   Lenses
[info]     ! lbraceLeft
[error]  scala.MatchError: java.lang.NoSuchMethodError: cats.Invariant$.catsInstancesForId()Lcats/Comonad; (of class java.lang.NoSuchMethodError) (PrettyParamsMonocleSpecification.scala:8)argonaut.PrettyParamsMonocleSpecification$.check(PrettyParamsMonocleSpecification.scala:8)
[error] argonaut.PrettyParamsMonocleSpecification$.checkProperties(PrettyParamsMonocleSpecification.scala:8)
[error]  
[info]     ! lbraceRight
[error]  scala.MatchError: java.lang.NoSuchMethodError: cats.Invariant$.catsInstancesForId()Lcats/Comonad; (of class java.lang.NoSuchMethodError) (PrettyParamsMonocleSpecification.scala:8)argonaut.PrettyParamsMonocleSpecification$.check(PrettyParamsMonocleSpecification.scala:8)
[error] argonaut.PrettyParamsMonocleSpecification$.checkProperties(PrettyParamsMonocleSpecification.scala:8)
[error]  
[info]     ! rbraceLeft
[error]  scala.MatchError: java.lang.NoSuchMethodError: cats.Invariant$.catsInstancesForId()Lcats/Comonad; (of class java.lang.NoSuchMethodError) (PrettyParamsMonocleSpecification.scala:8)argonaut.PrettyParamsMonocleSpecification$.check(PrettyParamsMonocleSpecification.scala:8)
[error] argonaut.PrettyParamsMonocleSpecification$.checkProperties(PrettyParamsMonocleSpecification.scala:8)
[error]  

cats-2-6-1_to_2-7-0.diff

@suppressUnusedImportWarningForScalaVersionSpecific
object Invariant extends ScalaVersionSpecificInvariantInstances with InvariantInstances0 {
-  implicit def catsInstancesForId: Distributive[Id] with Comonad[Id] = cats.catsInstancesForId
+  implicit def catsInstancesForId
+    : Distributive[Id] with Bimonad[Id] with CommutativeMonad[Id] with NonEmptyTraverse[Id] =
+    cats.catsInstancesForId
  implicit def catsMonadErrorForEither[A]: MonadError[Either[A, *], A] =
    cats.instances.either.catsStdInstancesForEither[A]
  implicit def catsInstancesForOption

mima.txt

 * method catsInstancesForId()cats.Comonad in object cats.Invariant has a different result type in current version, where it is cats.Bimonad rather than cats.Comonad