Agree overall (yay data structures, and that types prompt thinking about them) but I don’t think you need types to make good data structures, and, just because you have types doesn’t mean you end up with good data structures.

But yes, definitely - working in a typed language encourages that mindset, and it’s the application of that mindset that yields the benefits (imo).