sig
  type ('a, 'e) t
  val ( >>= ) : ('a, 'e) t -> ('-> ('b, 'e) t) -> ('b, 'e) t
  val ( >>| ) : ('a, 'e) t -> ('-> 'b) -> ('b, 'e) t
  module Monad_infix :
    sig
      val ( >>= ) : ('a, 'e) t -> ('-> ('b, 'e) t) -> ('b, 'e) t
      val ( >>| ) : ('a, 'e) t -> ('-> 'b) -> ('b, 'e) t
    end
  val bind : ('a, 'e) t -> ('-> ('b, 'e) t) -> ('b, 'e) t
  val return : '-> ('a, 'b) t
  val map : ('a, 'e) t -> f:('-> 'b) -> ('b, 'e) t
  val join : (('a, 'e) t, 'e) t -> ('a, 'e) t
  val ignore_m : ('a, 'e) t -> (unit, 'e) t
  val all : ('a, 'e) t list -> ('a list, 'e) t
  val all_ignore : (unit, 'e) t list -> (unit, 'e) t
  val yield : 'elt -> (unit, 'elt) Sequence.t
  val run : (unit, 'elt) Sequence.t -> 'elt Sequence.sequence
end