sig
  val ( >>= ) :
    ('a, 'b) BatStd.result ->
    ('a -> ('c, 'b) BatStd.result) -> ('c, 'b) BatStd.result
end