type GrowToSize = A["length"] extends N ? A : GrowToSize export type FixedArray = GrowToSize export type ArrayOfSameLength = { [K in keyof T]: U } // Utility type for numeric range export type LessThan = TNumber extends TArray["length"] ? TArray[number] : LessThan