RBTree-mini.hs