Examples/exercises from Purely Functional Data Structures