Type systems find bugs.