Is your feature request related to a problem? Please describe.

if there is a "oneof" referencing 2 types, it would be nice if both could extend a common sealed interface and that the oneof types both are records.