\(x: Bool) -> \(x: Natural) -> { x }