[TheCoelacanth]

> Can function overloads be marked private or deprecated independently?

Private independently, no. Deprecated independently, yes.

> Does the implementation need to repeat the effective union type?

Yes, or use something even broader like `any`;