let good =
    function
    | Good x -> x
    | Bad exn -> raise exn