sig   type ('a, 'b) result = Ok of 'a | Error of 'b   val maybe : ('a -> 'b) -> 'a -> ('b, exn) Kwdeprecated.Result.result end