Is there a way to restrict the generic type to only allow unions with a specific type (in this case: null)?
type Example<value_T extends Enforce_null_union>
Example<number | null> // Works
Example<string | null> // Works
Example<number> // Not allowed, must include `null`
Example<number> // Not allowed, must include `null`