type X = [...number[]];