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