$use StdIO;

$func F s = s;

F s1 = A :: s1, s1;

$func Main = e;
Main =
  B :: s1,
  <WriteLn <F s1> s1>;