(\(x: Natural) -> x + 1) 0