The approach presented here was largely invented by Chris Osaki which isn't mentioned in that set of notes at least not in the first few pages. Here's a link to his dissertation which covers much of the same material. That plus more can be found in his book under the name Purely Functional Data Structures. https://www.cs.cmu.edu/~rwh/theses/okasaki.pdf