Working through the exercises of Okasaki's _Purely Functional Data Structures_