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