discriminated union: See tagged union