coproduct: See tagged union