sig
  type 'a result = Success of 'a | Failure of string
  val return : 'a -> 'a Api.Result.result
  val default : 'a -> 'a Api.Result.result -> 'a
  val ( >>= ) :
    'a Api.Result.result ->
    ('a -> 'b Api.Result.result) -> 'b Api.Result.result
  val ( <$> ) : ('a -> 'b) -> 'a Api.Result.result -> 'b Api.Result.result
end