pub type Datum = Option<ScalarImpl>;
enum Datum { None, Some(ScalarImpl), }
No value.
Some value of type T.
T