TS has a divergent type 'never', but it even does flow analysis so you can handle being called by untyped code–neat! https://basarat.gitbooks.io/typescript/docs/types/never.html