Lambda Tamer by Adam Chlipala (20091106 release)