Union with interop between different types (variant 2)