sig
  val ( >>|? ) : 'a Or_exn.t -> ('a -> 'b) -> 'b Or_exn.t
  val ( >>=? ) : 'a Or_exn.t -> ('a -> 'b Or_exn.t) -> 'b Or_exn.t
  val ( >>|! ) : 'a Or_exn.t -> ('a -> 'b) -> 'b
  val ( >>=! ) : 'a Or_exn.t -> ('a -> 'b Or_exn.t) -> 'b
end