My experience is that tests tend to be much harder to read, and take more effort to understand, than types. Types are a higher-level approximation for your program.