(define zero (% f. (% x. x)))
(define succ 
	(% n. 
	(% f. 
	(% x. 
		(f ((n f) x))
	)
	)
	)
)
(define one (succ zero))
one

(define add 
	(% m. 
	(% n. 
	(% f. 
	(% x. 
		((n f) ((m f) x))
	)
	)
	)
	)
)

((add one) one)
