[wrsh07]

Ooh, one nice book is the Okasaki purely functional data structures. The inline code is not Haskell, but iirc the appendix has Haskell implementations