normal order reduction ≠ lazy evaluation