Por que uma função interna é aplicada a muito poucos argumentos considerados na forma normal de cabeça fraca?

The Haskelldefinição diz:

Uma expressão está na forma normal de cabeça fraca (WHNF), se for:

um construtor (eventualmente aplicado a argumentos) como True, Just (quadrado 42) ou (:) 1uma função interna aplicada a muito poucos argumentos (talvez nenhum) como (+) 2 ou sqrt.ou uma expressão de abstração lambda \ x ->.

Por que as funções internas recebem tratamento especial? De acordo com o cálculo lambda, não há diferença entre umfunção parcialmente aplicada e qualquer outra função, porque no final temos apenas uma função de argumento.