The types being enforced at runtime can be seen as a last resort. It means static checkers can actually rely on the types being accurate as code which breaks th

The types being enforced at runtime can be seen as a last resort. It means static checkers can actually rely on the types being accurate as code which breaks the type contract won't run.