x : 2 + 3;
io.out x;
inc : a -> a + 1;
io.out (inc 4);
y : when 1 is
  1 then 10
  _ then 20;
io.out y;