What's new in purely functional data structures since Okasaki?

cstheory.stackexchange.com