((((f -> (x -> (f (f x)))) (f -> (x -> (f (f x))))) const()) const(0)) = 4 ((((f -> (x -> (f (f x)))) ((f -> (x -> (f (f x)))) (f -> (x -> (f (f x)))))) const()) const(0)) = 16 ((((((f -> (x -> (f (f x)))) (f -> (x -> (f (f x))))) (f -> (x -> (f (f x))))) (f -> (x -> (f (f x))))) const()) const(0)) = 65536