Thinking about the types