\(x: Bool) -> \(y: Bool) -> x && y