The article mentions a non handled case in a switch is flagged in Reason but not TypeScript. That is technically true, but you can flag an unhandled case by adding a default case which takes advantage of the never type
https://stackoverflow.com/questions/39419170/how-do-i-check-...