publish chapter 13 of programming in haskell