yes = foo $ \(a, b) -> (a, y + b)