```
type T1 = ['a','b','c']
type T2 = ['d','e','f']
type TN = [.., .., ..]

type M = Concat<T1,T2,...,TN> //or Concat<[T1,T2,...,TN]>
//get ['a','b','c','d','e','f',...]

type Error =[...T1,...T2,...T3,...]//A rest element must be last in a tuple type.

```

I want concat many tuple types into one tuple. How to define type `Concat<>`?