TS optional and required generic union types

Question

Goal

I am trying to create an optional parameter unless a type has been supplied making it required.

Expected Behaviour

I want the following g