Dear Gergely, Okasaki's "Purely Functional Data Structures" is a treasure trove of interesting things to demonstrate Haskell on. Especially the data structures based on numerical representations (skew binary numbers and so on) appealed to my mathematical side. Matthias.