Union with interop between different types (variant 3)