Thinking in type