See http://sneezy.cs.nott.ac.uk/fplunch/weblog/?p=445, or Okasaki, "Red-Black Trees in a Functional Setting".
See http://sneezy.cs.nott.ac.uk/fplunch/weblog/?p=445, or Okasaki, "Red-Black Trees in a Functional Setting".