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