choice type: See tagged union