Type annotations are helpful both to catch errors and as extra documentation for developers trying to make sense of the code.