public f :: Int -> Int -> Int -> A
f(x,y,z) -> f(x, x+1, x-1) | y < z