type T10 = TypeName‹string | (() => void)›;  // "string" | "function"
type T12 = TypeName‹string | string[] | undefined›;  // "string" | "object" | "undefined"
type T11 = TypeName‹string[] | number[]›;  // "object"