Adding an improved dot monad with Andrew's RB Tree