Quiz: Improving Robustness with Type-safety