Я знаю, что такое ковариация и контравариантность типов. Мой вопрос: почему я еще не сталкивался с обсуждением этих концепций в своем исследовании Хаскелла (в отличие, скажем, от Scala)?

Кажется, есть фундаментальное различие в том, как Haskell рассматривает типы в отличие от Scala или C #, и я хотел бы сформулировать, в чем заключается это различие.

Или, может быть, я ошибаюсь, и я просто еще недостаточно выучил Haskell :-)