#lang plait
[(s-exp-match? `(lam SYMBOL ANY) sx)
 (let* ([id (s-exp->symbol (sx-ref sx 1))]
        [body (parse-sx (sx-ref sx 2))])
   (Lam id body))]