Title: Typing for Beginners