基本: 「Python ランタイムは、関数や変数の型アノテーションを強制しません。」 by Python Docs
基礎的な用途は型チェック・IDE/Linterサポート
Pythonはアノテーションを手軽に取得できる（X.__annotations__）ので、ランタイムでこの型を利用できる.
つまりランタイムvalidationが可能.
代入時の型validationもできるし、lazyにしてアクセス時のvalidationにもできる. 一時的なvalidationオフとかも作りこめる.
