Chapter 4 of 'Programming in Haskell' completed.