Typing Is Dangerous