Deakstadieđáhus: Thinking with type