Stav dette: Thinking with type