\(x: Natural) -> x ? y