w
[error] |Make sure that A satisfies one of the following conditions:
[error] | * it is a case class where all fields have an Eq instance
[error] | * it is a sealed trait where all subclasses have an Eq instance.
[error] |I found:
[error] |
[error] | cats.derived.MkEq.mkEqGeneric[A, R](
[error] | shapeless.~?>.witness[Nothing, Nothing, T](shapeless.~?>.rel[Nothing, Nothing]
[error] | )
[error] | , ???)
[error] |
[error] |But method witness in trait NatTRel0 does not match type shapeless.Generic.Aux[A, R].