[Tade0]

Only a problem if you're trying to be too inventive with it.

For most cases it's enough to just define interfaces, enums and maybe bundle some of this into discriminated unions. Throw in some generics for good measure. That's not a lot of work.

I've seen people do stuff like dependent types, but unless you're writing a library you don't actually need most of the type system's features.