It can work. It depends on context. Like let's say these types are from a well renowned library or one that's been used by the codebase for a long time. If you

It can work. It depends on context. Like let's say these types are from a well renowned library or one that's been used by the codebase for a long time. If you trust the type, then it's fine. The code is safer. In the world of of the code itself things are easier. Of course like what you're complaining about, this opens up the possibility of more bugs in the world of types, and debugging that can be a pain. Trade offs. In practice people usually don't go crazy with type level functions. They can do small stuff, but usually nothing super crazy. So type script by design sort of fits the complexity dynamic you're looking for. Yes you can do type level functions that are super complex, but the language is not designed around it and it doesn't promote that style either. But you CAN go a little deeper with types then say a language with less power in the type system like say Rust.