Thinking with TYpe