Type Alias Join<K, P>

Joins two path segments.

We use generic constraints (extends ValidKey) here instead of conditional checks to keep it clean. If K or P is not a string/number, TS will error.