export type Length = T extends { length: infer L; } ? L extends number ? L : never : never;