Simple type safe equality on arbitrary case class with Cats + Kittens

typeSafeEquality.scala

import cats.derived._, eq._, legacy._
import cats.implicits._ 

case class Foo(a: String, b: Int)
case class Bar(c: Boolean)

Foo("a", 0) === Foo("b", 0) // compile
Foo("a", 0) === Bar(true) // does not compile
Foo("a", 0) == Bar(true) // compile with warning

List("a") === List(1) // does not compile
List("a") == List(1) // compile without warning