Haciendo ilegales los estados no representables en tiempo de ejecución (en TypeScript)

Es posible tener estados no deseados en un programa válido hecho en Typescript en tiempo de ejecución, ya que Typescript sólo chequea validez del programa en tiempo de compilación.