文脈的に1個目のTと2個目のTが違う型の可能性ある可能性あるからってことよね