Вообще, математики как-то живут без типов и им норм.
математики не пишут "если тут нет дыни возми арбуз и сравни с гречкой" имея ввиду "пфф это же очевидно что гречка и арбух из разных семейств поэтому фолз"
математики не пишут "если тут нет дыни возми арбуз и сравни с гречкой" имея ввиду "пфф это же очевидно что гречка и арбух из разных семейств поэтому фолз"
Пересечение произвольных множеств это сравнение арбузов с гречкой.