Spec.If_nothing_chosen
type (_, _) t =
| Default_to : 'a -> ('a, 'a) t
| Raise : ('a, 'a) t
| Return_none : ('a, 'a Base.option) t