<div dir="ltr">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. <br><div><br>Stefan Kahrs, "Red-black trees with types", Journal of functional programming, 11(04), pp 425-432, July 2001 <br></div></div>