(let (
    [zero (lam (f x) x)]
    [succ (lam (n) (lam (f x) (f (n f x))))]
    [add (lam (m n) (lam (f x) (m f (n f x))))]
    [mul (lam (m n) (lam (f x) (m (n f) x)))]
    [two (succ (succ zero))]
    [four (add two two)]
    [_64 (mul (mul four four) four)]
) (_64 debug zero))