tail-args+tail.ts

type TailArgs<T extends Function> =
  T extends (head, ...tail: infer TTail) => any ? TTail :
  unknown

type Tail<T extends Array<any>> = TailArgs<(...args: T) => any>

type YeahBaby = Tail<[1, 2, 3, 4]> // type YeahBaby = [2, 3, 4]

union-to-intersection.ts

type UnionToIntersection<U> = 
  (U extends any ? (k: U) => void : never) extends ((k: infer I) => void) ? I : never

type ComponentType<T> =
  T extends { props: infer TProps } ? TProps :
  T

type AsProp<TComponents extends Array<any>> = UnionToIntersection<{
  [TComponent in keyof TComponents]: ComponentType<TComponents[TComponent]>
}[number]>

type ConditionalTypeAllTheThings = AsProp<[
  "div",
  "xpto",
  { props: { value: "props" } }
]> // "div" & "xpto" & { value: "props" }