Solutions to exercises from Okasaki's Purely Functional Data Structures