I imagine most code bases will contain a very small number (probably zero) type definitions with a spread tuple type. There are only so many ways to solve being

I imagine most code bases will contain a very small number (probably zero) type definitions with a spread tuple type. There are only so many ways to solve being type safe in a language that is so permissive, and sometimes it causes the result to look ugly. Ideally 95% of end users will never need to type this, only rely on it.