Exercises from Okasaki book