Почему овеществленные дженерики трудно комбинировать с высокодородными типами?

Существует мнение, что объединение овеществленных дженериков с высокодородными типами является сложной проблемой.

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

Есть ли дополнительная информация, чтобы понять, что было сделано в этой области до сих пор?