https://javascript.plainenglish.io/understanding-typescripts-never-type-a-tool-for-enhancing-code-robustness-120aace36a44
