Chris Okasaki's Purely Functional Data Structures, in Erlang