Здравствуйте, T4r4sB, Вы писали:
TB>Это как, любой шаблон инстанциируется только 1 раз что ли?
Нет, просто перегрузок нет. Не получится объявить

sum(x: int, y: int) -> int

а потом

sum(x: float, y: float)->float

S>>Он всегда делает объединение множеств. Просто множество может состоять из одного элемента.
TB>Тогда получается, что элемент и множество из этого элемента — это одно и то же. Но это не так.
Не обязательно. Считайте, что "отдельных" типов не существует — только множества, состоящие из одного типа.
То есть ровно везде, где вы пишете int, компилятор видит { int }.