4.7 Init-Time Branching before
4.7 Init-Time Branching after
4.8 Function Properties—A Memoization Pattern
4.10 Curry Function Application
4.10 Curry Function Application revised