Type alias JoinT<Value>

JoinT<Value>: Value extends [] ? never : Value extends [infer F] ? F : Value extends [infer F, ...(infer R)] ? F extends string ? string extends F ? string : `${F}.${JoinT<Extract<R, string[]>>}` : never : string