>However, in my experience getting too clever with the type system is not always a good idea for ordinary application code maintained by a team of average TS developers.

If that's their code base, they shouldn't be asking these kinds of questions. They'd be better served by asking to debug a non-functioning component that looks like a real component you'd find in their code base.

Plus readability and maintainability are subjective