Type systems have many more applications than just compilers.