長さがN以上の配列を表現する型

code:ts

type A1<T> = [T, ...T[]]

let a1: A1<number>