$use StdIO;

$func F e = e;
F e1 = A e1 A;

$func G = e;
G =
  /*empty*/ :: e1,
  <F e1> :: e1;

$func Main = e;
Main = <PrintLn <G>>;