export type Dimensions = A['length'] extends N ? [] : [T, ...Dimensions]