weak-head-normal-form

Ich kann folgendes Verhalten nicht erklären: %Vor% Wenn ich nun einen Typ für x vorstelle: %Vor% Warum zwingt die Spezifikation des x-Typs y zu seiner schwachen Kopfnormalform (WHNF) ? Ich habe dieses Verhalten beim Lesen von Simon...