Translate "Example: Functional Red-Black Trees"