#lang plait
(define-syntax-rule (let1 (var expr) body)
  (let ([var expr]) body))
(define-syntax-rule (lam x body) (lambda (x) body))

(test
 {let1 {y 1} {let1 {f {lam x {+ x y}}}
                   {let1 {y 2} {f 8}}}}
 9)