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

{let1 {f {lam x {+ x x}}}
      {f 3}}