Check if first shape is assignable to second (covariant)
type IsAssignable = IsAssignableTo<[2, 3], readonly number[]> // true Copy
type IsAssignable = IsAssignableTo<[2, 3], readonly number[]> // true
Check if first shape is assignable to second (covariant)