Stefan Kahrs Red-black trees with types. 425-432 2001 11 J. Funct. Program. 4 db/journals/jfp/jfp11.html#Kahrs01