And you also have the problem of writing that type checker in a dynamic language, so you also have no way to check whether the checker itself works according to

And you also have the problem of writing that type checker in a dynamic language, so you also have no way to check whether the checker itself works according to your specification.