1 2 3 4 5 6 7 8

module Main where zero = \f -> \x -> x one = \f -> \x -> f x two = \f -> \x -> f (f x) -- etc main = print (two succ 0)

1

2