0 := \f.\x.x
inc n := \f x.(f (n f x))
exp n m := (m n)
print n := (n F X)

N := (inc (inc (inc (inc (inc (inc 0))))))

(print (exp N N))