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