#lang plait
{let1 {x 5} {+ x x}}
{let1 {y 5} {+ y y}}

(define (foo x) (list x x))
(define (foo y) (list y y))