$func? F e = e;
F = ;

$func Main = e;
Main = {
  <F>;
  <F> :: e1;
  <F> :: e1, e1;
  <F> :: e1, e1 :: e2, e2;
};