When should you use tests and when should you use types? What information and guarantees do we get for our efforts?