понял какой профит когда вносишь констрейнты в пространство типов
он нужен для предоставления информации о типах в екзистах в основном
https://www.parsonsmatt.org/2020/10/13/unpack_your_existentials.html
ну в дептипах не нужен этот Dict
ну я могу придумать два кейса 1) функции с опциональным инстансом 2) хранить множество разных инстансов одного типа
Можно же сделать какой-то HasAny констрейнт
Обсуждают сегодня