Недостатки системы типов Scala по сравнению с Haskell?

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