[moritzwarhier]

Thanks for your reply.

I think I share your perception of ugliness in TS.

It feels like in TS, most if not all of the worries around complex types originate in compromises like this, or in other words, structural/duck typing.

Also feels a bit like functions are an elephant in the room. Function types with structural typing for parameters, arguments and return values are useful.

But then you have to use overloads and "extends" in generics for the first time in order to *describe* something, and if you're like me, you might cry a little from the inside. Especially when you simultaneously chastise yourself for wasting time on ignorable TS issues.