Re-read the example above. `Base` never becomes `...

# language-proposals

[fellshard]

Re-read the example above. Base never becomes Comparable. It is effectively infused with comparability through Derived. Once done with whatever functionality requires comparability, you can extract the original Base value if so desired, or simply bring back the one you used to create the Derived instance in the first place.