Type Alias ShapeToString<S>

ShapeToString: S extends readonly []
    ? ""
    : S extends readonly [infer H]
        ? `${H & (string | number)}`
        : S extends readonly [infer H, ...(infer T)]
            ? T extends readonly []
                ? H & string
                : T extends Shape ? `${H & string}, ${ShapeToString<T>}` : never
            : never