Thanks, this makes sense, TS type narrowing only works with information known at compile-time (even when using runtime constructs for type narrowing). So I wil

Thanks, this makes sense, TS type narrowing only works with information known at compile-time (even when using runtime constructs for type narrowing). So I will go on to imagine duck-typing as the classic JS way where functions started with often pretty extensive runtime checks of their parameter values. I guess this also means that duck-typing is inherently tied to checking primitive types and/or object structures, return values etc at runtime.