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

result a = f 1 (f 2 3)