[Haskell-cafe] Re: Thompson's Exercise 9.13