Mini tutorial: Improve your code by enforcing static typing