Automatic "full" discriminated union

const ActorInputSchema = type({
    runMode: '"actor"',
    actorName: 'string',
    actorInput: 'unknown',
    'datasetId?': 'never',
    'exactData?': 'never',
})

const DatasetInputSchema = type({
    runMode: '"dataset"',
    'actorName?': 'never',
    'actorInput?': 'never',
    datasetId: 'string',
    'exactData?': 'never',
}) 

const ExactInputSchema = type({
    runMode: '"exact"',
    'actorName?': 'never',
    'actorInput?': 'never',
    'datasetId?': 'never',
    exactData: 'string'
})

const InputSchema = ActorInputSchema.or(DatasetInputSchema).or(ExactInputSchema)

type Input = typeof InputSchema.infer; 

const input = InputSchema(/* some data */);

if (input instanceof type.errors) {
    console.error(input.message); process.exit();
}

const {
    runMode,
    // Property actorName does not exist on type...
    actorName,
    actorInput,
    datasetId,
    exactData,
} = input as Input;

const ActorInputSchema = type({
    runMode: '"actor"',
    actorName: 'string',
    actorInput: 'unknown',
    'datasetId?': 'never',
    'exactData?': 'never',
})

const DatasetInputSchema = type({
    runMode: '"dataset"',
    'actorName?': 'never',
    'actorInput?': 'never',
    datasetId: 'string',
    'exactData?': 'never',
}) 

const ExactInputSchema = type({
    runMode: '"exact"',
    'actorName?': 'never',
    'actorInput?': 'never',
    'datasetId?': 'never',
    exactData: 'string'
})

const InputSchema = ActorInputSchema.or(DatasetInputSchema).or(ExactInputSchema)

type Input = typeof InputSchema.infer; 

const input = InputSchema(/* some data */);

if (input instanceof type.errors) {
    console.error(input.message); process.exit();
}

const {
    runMode,
    // Property actorName does not exist on type...
    actorName,
    actorInput,
    datasetId,
    exactData,
} = input as Input;