Обижаете, я прочитал два и заглянул в ещё штуки три - все, на которые ссылается haskell.org. Только ни один не произвёл впечатление полного и понятного.
Только позавчера вспомнил, что есть ещё ru_lambda, а в ней какие-то ссылки. Почитаю и их.