Good automated tests make for high quality code, but more tests mean more code and more code means more bugs and more bugs mean more tests and more tests mean more code ARGH!

Let’s offload some of that work to someone who is eager to do it for us - a type system - and delete some code together!