You write tests for things that actually matter ... like you know, testing functionality.
You don't waste time writing tests that simply check if all the arguments received the right type. This is taken care of by the type checker.
Besides, the biggest benefit of types is readability.
