ahhh memoizing subtraction DOES make a difference
Exercise 4.30. the moral of the story seems to be that lazy evaluation and thunks apply to ARGUMENTS ONLY