set is not a functor mkay

gistfile1.scala

scala> case class Bad(a: Int) { override def equals(a:Any) = true }
scala> val f = (n:Int) => Bad(n)
scala> val g = (b:Bad) => b.a

...

scala> Set(1,2,3).map(f andThen g)
res2: scala.collection.immutable.Set[Int] = Set(1, 2, 3)

scala> Set(1,2,3).map(f).map(g)
res3: scala.collection.immutable.Set[Int] = Set(1)

So set is a pragmatic functor then?

this implementation actually breaks 'equals' contract defined in Java Specification Language, but I can think of example that does not break it but breaks Functor laws for set

scala> case class Weird(n: Int) {
     | override def equals(obj: Any):Boolean = if(n == 1 && obj.asInstanceOf[Weird].n == 1) true else false
     | }
defined class Weird

scala> val set = (1 to 10).toSet
set: scala.collection.immutable.Set[Int] = Set(5, 10, 1, 6, 9, 2, 7, 3, 8, 4)

scala> val f: Int => Weird = a => Weird(a % 2)
f: Int => Weird = <function1>

scala> val g: Weird => Weird = w => if(w.n == 1) Weird(2) else w
g: Weird => Weird = <function1>

scala> set.map(f andThen g)
res3: scala.collection.immutable.Set[Weird] = Set(Weird(0), Weird(0), Weird(0), Weird(0), Weird(0), Weird(2), Weird(2), Weird(2), Weird(2), Weird(2))

scala> set.map(f).map(g)
res4: scala.collection.immutable.Set[Weird] = Set(Weird(0), Weird(0), Weird(0), Weird(0), Weird(0), Weird(2))

Functor says for all A.

I'm just saying that equals = true breaks https://docs.oracle.com/javase/specs/jls/se8/html/jls-15.html#jls-15.21