It should be one of the following `?(X&Y)`, `(X&Y)|null` or `X&Y|null`
However if we support `?(X&Y)` then we should also support `?(X|Y)`, however during the discussion this was deemed too confusing and dropped from the RFC, so this is IMHO a no go.
`X&Y|null` is also contentious because of the precedence rules with | which many people aren't fan of, so the remaining one is `(X&Y)|null`, but then you get into the confusion as to why you can have a union with null but nothing else, when the syntax is there and supported in the parser...