While you're waiting for PFDS, here's Okasaki's thesis (http://www.cs.cmu.edu/~rwh/theses/okasaki.pdf http://www.cs.cmu.edu/~rwh/theses/okasaki.pdf). It's the s

While you're waiting for PFDS, here's Okasaki's thesis (http://www.cs.cmu.edu/~rwh/theses/okasaki.pdf http://www.cs.cmu.edu/~rwh/theses/okasaki.pdf). It's the seed of the book.