おお、これって今まで一行クロージャにしかなかった型推論用の型パラの伝播が複数行クロージャにも対応するって感じですか？