I suggest we proceed with discussing cardinality in a single location: https://github.com/scala/scala/pull/2691/files#r4952997.