$use StdIO;

$func F = ;

F = A : B;

$func Main = e;
Main =
  $trap <F> $with {
    F "Unexpected fail" = <WriteLn Catched F "Unexpected fail">;
    err = <WriteLn err>;
  };