Yeah, that would be very helpful since there's no dependent type in a foreseeable future.

For example, As a front-end heavy language, talking with other systems is quite ordinary -- a very useful case is reflecting GraphQL or SQL type without code generation.