5. 数组的第一个元素

实现一个通用类型工具 First<T> ，其中 T 是一个数组类型，要求返回这个数组的第一个元素的类型。

例如：

type Qualities = ['kindness', 'courage', 'humility']
type Stages = [18, 29, 35]

type Head1 = First<Qualities> // expected to be 'kindness'
type Head2 = First<Stages> // expected to be 18

请注意，传入的只能是数组类型，否则将会报错。