型推論をする目的はひとまず置いといて、
とりあえず型推論するのに変数や関数の型宣言は必要無いってことでFAでいいな?