typing and for loops