[friendzis]

Types are tests. On top of being unit tests that are forcibly run, they are formal and apply everywhere a datum is used.