Some Simple Programs
eval : A A
eval (x) = let box u = x in u
quote : A A
quote (x) = let box u = x in box (box u)
app : (A B) A B
app (f) (x) =
let box g = f in
let box u = x in box (g u)