とりあえずおとといのは、型チェック後にやったほうがうまくいきそうな気がしてきたので、そこまではぐちゃーっとやってしまおう。