splay trees with monoidal annotations