// Test logical and in when discriminant
test : x y ->
  when x and y is
    true then "both true"
    false then "at least one false";

result : test true false;