Alas, as far as I remember, deleting an element out of a purely functional red-black tree is more messy.