Существует понятие, что объединение повторяющихся дженериков с типами более высокого рода является трудной проблемой.
Существуют ли существующие языки, которые успешно объединили эти двух системные функции или вообще не возможно?
Есть ли какая-либо дополнительная информация, чтобы понять, что было сделано в этом пространстве до сих пор?