Leyendo¿Desventajas del sistema de tipo Scala versus Haskell?, Tengo que preguntar: ¿qué es, específicamente, lo que hace que el sistema de tipos de Haskell sea más poderoso que los sistemas de tipos de otros lenguajes (C, C ++, Java). Aparentemente, incluso Scala no puede realizar algunos de los mismos poderes que el sistema de tipos de Haskell. ¿Qué es, específicamente, lo que hace que el sistema de tipos de Haskell (inferencia de tipos Hindley-Milner) sea tan poderoso? ¿Puede dar un ejemplo?