¿Por qué se aplica una función incorporada a muy pocos argumentos considerados en forma normal de cabeza débil?

El Haskelldefinición dice:

Una expresión está en forma normal de cabeza débil (WHNF), si es:

un constructor (eventualmente aplicado a argumentos) como True, Just (cuadrado 42) o (:) 1una función incorporada aplicada a muy pocos argumentos (quizás ninguno) como (+) 2 o sqrt.o una abstracción lambda \ x -> expresión.

¿Por qué las funciones integradas reciben un tratamiento especial? Según el cálculo lambda, no hay diferencia entre unfunción parcialmente aplicada y cualquier otra función, porque al final solo tenemos una función de argumento.