Exercises from Okasaki's Purely Functional Data Structures