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