Very good article. I think ARTs are rather underappreciated - they have the same asymptotic complexity as hash maps, while having more predictable behaviour (no amortised assumptions).