let reveal_exn f x = try f x with Hidden exn -> raise exn