Exercises from Okasaki's Functional Data Structures