Что делает систему типов Haskell более «мощной», чем системы типов других языков?

Прочитав Недостатки системы типов Scala по сравнению с Haskell? , я должен спросить: что именно делает систему типов Haskell более мощной, чем системы типов других языков (C, C ++, Java) . По-видимому, даже Scala не может выполнять некоторые из тех же возможностей, что и система типов Haskell. Что именно делает систему типов Haskell (вывод типов Хиндли – Милнера) такой мощной? Можете ли вы привести пример?