3 ms·

Nice data structure. As one would expect from Chris Okasaki (unfortunately I'm not familiar with the other author).