Какой из подходов (X | None vs Union[X, None]) предпочтительнее использовать в разных контекстах? Опишите trade-offs и примеры, где один из вариантов может привести к ошибкам в статической типизации.