Maybe you skipped the Advanced section? TAPL and the Lambda Calculus are definitely not for the typical programmer-not-scientist, and Okasaki's text is debatable, depending on the person and need.