Exercise 3_7 (foldRight tracing)