Как языки Scala, которым требуются ковариантные возвращаемые типы и «реальная» дисперсия классов, работают в среде CLR?

CLR не поддерживает ковариантные типы возврата или полную дисперсию (т. е. применяется к классам, а не только интерфейсы и делегаты), но есть языки, нацеленные на CLR, которые используют одну или обе эти функции.

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