see [[GenericExtensionElementProposal]]