Union with simple discriminated type selection