Fair enough
I personally don’t really care about catching more errors as the errors caught by using type checking are usually errors that are obvious and very quick to find and fix (such as using ipairs instead of pairs)
I also tend to have modules and code that is fairly “linear”, so I rarely encounter errors that happen only in specific situations
However, the autocomplete it provides is a game changer for me, all the modules I make, I make sure that the functions and methods have proper autocomplete which saves quite a lot of time when using it afterwards, and makes it clearer to other people using it as well