type Null = Option<!>; const null: Null = None; type bool = Option<Null>; const true: bool= Some(null); const false: bool = None;