Type Alias ArrayOfAll<List, Union>

ArrayOfAll: [List[number]] extends [Union]
? [Union] extends [List[number]] ? true : "Incomplete"
: "Incomplete"

type Check_AreAllListed = AssertTrue<ArrayOfAll<typeof myList, MyUnion>>;