F# implementation of splay trees