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