>もしくは片っ端から型を宣言するか。
これでいいじゃないか？