The missing method: Deleting from Okasaki's red-black trees (matt.might.net)