no = \(x -> y) -> z