Researchers used a finger tree, a purely functional tree-like data structure that offers amortized constant-time access to its "fingers" (leaves), to implement a persistent sequence efficiently.