[Haskell-cafe] Solution to Thompson's Exercise 4.4