monomorphism-restriction

¿Qué es la restricción del monomorfismo?

Estoy desconcertado por cómo el compilador haskell a veces infiere tipos que son menos polimórfico de lo que esperaría, por e ... ico? Esta es la pregunta canónica sobre la restricción del monomorfismo en Haskell como se discutió en la meta pregunta.

¿Por qué 3 y x (que fue asignado 3) tienen diferentes tipos inferidos en Haskell? [duplicar]

Esta pregunta ya tiene una respuesta aquí: ¿Qué es la restricción del monomorfismo? ... skell 4.3.4 El tipo extendido de GHCi por defecto: Usando la sección GHCi 2.4.5 Restricción monomórfica: Haskell wiki