I'm looking for a freely available version of the below paper. Google Scholar points me to 7 versions, all of which are behind a paywall.

Stefan Kahrs, "Red-black trees with types", Journal of functional programming, 11(04), pp 425-432, July 2001