2-3 B-Trees with static guarantee that they're balanced.