なんで戻り値は型推論してくんないんだろう。