Going to plug my own flânerie “Functional Data Structures” which draws on Okasaki and many other sources. It doesn’t use Racket (it uses OCaml, because my students already knew Racket) but the translation is easy. https://cs.uwaterloo.ca/~plragde/flaneries/FDS/