そもそもラムダ式を変数に代入とか普通しないのでは
型推論が台無しになるでしょ