型推論で型パラメーターを特定

型推論で型パラメーターを特定