AugmentedRBTree.hs