Started working on Wadler92 paper in literate Haskell