Union with simple discriminated type selection
