What is Weak Head Normal Form (WHNF)?A constructorA function which is not saturated (no args or partially applied)A lambda abstraction2020-12-18