/* Test nested when expressions */
classify : x y -> 
  when x y is
    0 0 then "both zero"
    0 _ then "x is zero"
    _ 0 then "y is zero"
    _ _ then when x is
            0 then "x is zero (nested)"
            _ then "neither zero";

..out "nested when expression created successfully";