Почему Seq [V] не расширяет Map [Int, V], а Set [V] не расширяет Map [V, Bool]?

Три непосредственных подтипа Iterable являются Карта , Seq и Set . Похоже, помимо проблем с производительностью, Seq - это отображение целых чисел в значения, а Set - это отображение значений в логические значения (истина, если значение находится в наборе , иначе ложь).

Если это так, то почему это не выражается в системе типов, заставляя Seq [V] расширять Map [Int, V] и Установить [V] расширить Карта [V, Boolean] ?