class Contravariant[-T](val other:T) ошибка: контравариантный тип T встречается в ковариантной позиции в типе T значения other Однако это удается class MMX[-T](x:T) В чем разница? Спасибо

Я изучаю Haskell, и меня попросили решить это упражнение: Реализуйте новый тип данных с именем NovoPred, который должен иметь конструктор значения с тем же именем. Также в нем должно быть поле с именем runNovoPred с типом Maybe a -> Bool Затем...