Types don’t explain intent or gotchas. They’re also useful, but you need both.