variant record: See tagged union