ジェネリック型の制約: 完了