タイプアノテーションで思いだしたが、結局型チェック実装された？
それともそこまで効力は無い？