T extends U ? X : Y