ChildrenOf

type ChildrenOf<Props> = "children" extends keyof Props
    ? Props extends { children: infer Child }
        ? [Child, ...Child[]]
        : Props extends { children?: infer Child }
          ? Child[]
          : []
    : [];