Why you need to read Thinking With Type