関数型の変数宣言するのにも「型 変数」よりも「変数:型」の方がわかりやすく書ける気がするな