型チェックに引っかかる段階まで行けなかった感じした