ふたつの型が同じという制約を付けたいなら
TとUじゃなくTとTにすればいいじゃんか