Exhaustive catch clauses for errors from typed-throws...