[Haskell-cafe] ocr'ed version of "The implementation of functional languages"