#lang plait {let1 {x 5} {+ x x}} {let1 {y 5} {+ y y}} (define (foo x) (list x x)) (define (foo y) (list y y))