$func F s = ;

F s1 = $fail;

$func Main = e;
Main =
  $trap <F A> $with {
    e1 = e1;
  };