Well that’s a shame. Would A and B have to be subtypes of the same abstract type for it to be possible?
A
B