Purely functional data structures implemented in Haskell, along with extensive documentation when required.