¿Qué es XNoMonomorphismRestriction?

Question

This page usos

$ ghci -XNoMonomorphismRestriction

para iniciar el intérprete de Haskell.

¿Qué significa el interruptor XNoMonomorphismRestriction?

Answer 1

Apaga el Monomorphism restriction, lo que restringe los valores que no se definen mediante "notación de función" ¹ a tener un tipo no polimórfico.

---

¹ Por "no usar notación de función" quiero decir que están definidas como foo = something y no foo bar = something, es decir, la definición no contiene argumentos explícitos.