数値リテラルに対する型アノテーションはめちゃくちゃ効きますね