No, that&#x27;s what <i>types</i> are for. Types are exactly for this. They&#x27;re far less verbose than tests, they prevent compilation completely on error, they&#x27;re integrated with your code, they&#x27;re 100% comprehensive, and they don&#x27;t contain bugs. Contrarily, tests don&#x27;t work at all for model changes because the test still retains the old model anyway.