let `None` = 0 let `Some` = \(_: Bool) -> 1 in { None, Some }