That's misleading. You don't write tests to check types. You write the same tests you would with a typed language. There is no extra work. A by product of test

That's misleading. You don't write tests to check types. You write the same tests you would with a typed language. There is no extra work. A by product of testing your logic is that it will fail if there is a type cast problem.