f :: Int -> Int
f(x) -> f(x-1)