Mechanism for Indicating Discriminator in Struct Property - Effect Community