/* Test parentheses in case expressions */
factorial : n -> case n of
    0 : 1
    _ : (n - 1);

test : factorial 5;
..out test;