Translating to unions