f a 0 = a
f a b = g b
g a = a

result a = f 2 (f 2 3)