Type Alias: IsUnionWithNull<U>

type IsUnionWithNull<U> =
  U extends UnionType<infer Members>
    ? Members extends [AnyType, ...AnyType[]]
      ? NullTypeInMembers<Members>
      : false
    : false;