You don’t necessarily need types for that kind of thing though, a strict linter that flags that code works just as well