Union with interop between different types
