/* Test with a simpler function call */
id : x -> x;

test_simple : n ->
  when id n is
    n then "same"
    _ then "different";

result : test_simple 4;
..out result;