ஒத்த வளங்கள்: Thinking with type