#lang plait (define-syntax-rule (let1 (var expr) body) (let ([var expr]) body)) {let1 {x 1} {+ x x}} {let1 {x 1} {let1 {y 2} {+ x y}}}