I would really like to see a type-safe equals operator that works without derivation (e.g., Dog == Dog should compile, but Cat == Dog should not). It's not just a weak point in conditional pattern matching, I would say it's a major vulnerability. https://scala-lang.org/blog/2025/03/24/evolving-scala.html