sig   val bind :     ('a, 'b) BatResult.t ->     ('-> ('c, 'b) BatResult.t) -> ('c, 'b) BatResult.t   val ( >>= ) :     ('a, 'b) BatResult.t ->     ('-> ('c, 'b) BatResult.t) -> ('c, 'b) BatResult.t   val return : '-> ('a, 'b) BatResult.t end