/* Simple pattern test */
test : x -> 
  when (x % 2) is
    0 then "even"
    1 then "odd";

result : test 4;