A good place to plug my favorite thesis to read: Okasaki’s “purely functional data structures” https://www.cs.cmu.edu/~rwh/students/okasaki.pdf .

Very soothing and moves fast.