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