Люблю тип never в тайпскрипте. Он же, если я не ошибаюсь, Nothing в скале и котлине. С ним например можно проверить во время компиляции, что все опции обработаны:
playground

function sw(v: {$case: 'a', a: number} | {$case: 'b', b: string}) {
    switch (v.$case) {
        case 'a':
            console.log(v.a);
            break;
        case 'b':
            console.log(v.b);
            break;
        default: { const _: never = v; }
    }
}
sw({$case: 'a', a: 42})

Если стереть один из кейсов, то он скажет вот такое: