Union with interop between different types