A splay-tree implementation in Erlang