#lang plait
;; Racket
(define (foo x)
  (local [(define (bar y) (+ x y))] bar))