Type checking, or writing tests? Why not both!

-