Update 08-lambda.ss