const animals = ['cat', 'dog', 'mouse'] as const type Animal = typeof animals[number] // type Animal = 'cat' | 'dog' | 'mouse'