Variant
OCaml variant type.