Root_Balanced_Tree.Time_Monad