Tests check the operation for a single value of the, potentially infinite, input space. Types check the operation for many, and can be made for all possible in

Tests check the operation for a single value of the, potentially infinite, input space. Types check the operation for many, and can be made for all possible input values. The difference is: None of these boxes contain bicycles because: * With tests: we checked 3 of them and found no bicycles * With types: all the boxes are too small to contain bicycles.