x -> (y -> z)