Re: Intro to Functional Prog. by Bird, Section 2.5