Գրեք սա: Thinking with type