tagged union type
raw_value is not valid (no value inside FFIOption)
raw_value is the effective value
See Implementation
tagged union type