combinators chap 13