Types are not enough to solve this issue

https://www.joelonsoftware.com/2005/05/11/making-wrong-code-...