Selectively disable subsumption in Scala? (correctly type List.contains)

Question

List(\"a\").contains(5)

Because an Int can never be contained in a list of String

Answer 1

I think I have a legitimate solution to at least some of the problem posted here - I mean, the issue with List("1").contains(1): https://docs.google.com/document/d/1sC42GKY7WvztXzgWPGDqFukZ0smZFmNnQksD_lJzm20/edit