" Note however, that two type-disjoint types can in fact be upgraded into" . . . .