let
some ~or_fail =
function
|
None
->
fail or_fail
|
Some
s
->
return s