> They just mean you don't have to write the very silly tests

I have seen claims and have a hunch that more than just very silly tests can be eliminated by types, but I'm struggling to come up with or remember any examples.

I'm hoping someone who has one will reply with one of these claims or any examples.