厳密な型を使うことでどこまでテストを省けるのかは興味深いですね。