tests vs types

why not both?

Correct

Incorrect

Our Program

Possible Tests

Our Program's Types

Valid Program

Invalid Program

Possible Types

A good mix of Types and Tests