sum type: See tagged union