Literate Haskell file, explaining everything in detail.