なんでラムダ式は戻り値の型で型推論してくれるのに
ジェネリックメソッドの型パラメータは戻り値の型で推論してくれないの?