I do find types helpful in smoke testing greenfield code where it needs to deal with structured data and references. But definitely the more complex approaches

I do find types helpful in smoke testing greenfield code where it needs to deal with structured data and references. But definitely the more complex approaches to typing have sharply diminishing returns. The static invariants I start caring about in complex scenarios are more along the lines of contracts or structured concurrency, and I don't want to reason about those with types.