$use StdIO;

$func F = e;

F = $error ABCD;

$func Main = e;
Main =
  $trap <F> $with {
    err = <PrintLn "Catched: " err>;
  };