[[x]] = x [[λ x. a]] = fold (λ x. [[a]]) [[a1 a2]] = unfold ([[a1]] [[a2]])