チェック可能な関数すべてチェックすれば静的型付けだろ