What is Weak Head Normal Form (WHNF)?

  • A constructor
  • A function which is not saturated (no args or partially applied)
  • A lambda abstraction