It would be useful to be able to map a superstruct type onto another type with fewer variants.
This comes up in LH where we have e.g. AttestationBase and AttestationElectra (2 variants), and want to map into Attestation from a type with more variants (like BeaconBlock – 7 variants and counting).