#lang plait
eval({E1 E2})
                = if eval(E1) = {lam x Ef} then 
                      eval({let1 {x E2} Ef})
                  else 
                      error!