“Purely Functional Data Structure” (Haskell; backlinks)