sig
  module type Basic = Monad_intf.Basic
  module type Basic2 = Monad_intf.Basic2
  module type Infix = Monad_intf.Infix
  module type Infix2 = Monad_intf.Infix2
  module type S = Monad_intf.S
  module type S2 = Monad_intf.S2
  module Make :
    functor (X : Basic->
      sig
        val ( >>= ) : 'X.t -> ('-> 'X.t) -> 'X.t
        val ( >>| ) : 'X.t -> ('-> 'b) -> 'X.t
        module Monad_infix :
          sig
            val ( >>= ) : 'X.t -> ('-> 'X.t) -> 'X.t
            val ( >>| ) : 'X.t -> ('-> 'b) -> 'X.t
          end
        val bind : 'X.t -> ('-> 'X.t) -> 'X.t
        val return : '-> 'X.t
        val map : 'X.t -> f:('-> 'b) -> 'X.t
        val join : 'X.t X.t -> 'X.t
        val ignore_m : 'X.t -> unit X.t
        val all : 'X.t list -> 'a list X.t
        val all_ignore : unit X.t list -> unit X.t
      end
  module Make2 :
    functor (X : Basic2->
      sig
        val ( >>= ) : ('a, 'e) X.t -> ('-> ('b, 'e) X.t) -> ('b, 'e) X.t
        val ( >>| ) : ('a, 'e) X.t -> ('-> 'b) -> ('b, 'e) X.t
        module Monad_infix :
          sig
            val ( >>= ) :
              ('a, 'e) X.t -> ('-> ('b, 'e) X.t) -> ('b, 'e) X.t
            val ( >>| ) : ('a, 'e) X.t -> ('-> 'b) -> ('b, 'e) X.t
          end
        val bind : ('a, 'e) X.t -> ('-> ('b, 'e) X.t) -> ('b, 'e) X.t
        val return : '-> ('a, 'b) X.t
        val map : ('a, 'e) X.t -> f:('-> 'b) -> ('b, 'e) X.t
        val join : (('a, 'e) X.t, 'e) X.t -> ('a, 'e) X.t
        val ignore_m : ('a, 'e) X.t -> (unit, 'e) X.t
        val all : ('a, 'e) X.t list -> ('a list, 'e) X.t
        val all_ignore : (unit, 'e) X.t list -> (unit, 'e) X.t
      end
  module Ident :
    sig
      type 'a t = 'a
      val ( >>= ) : 'a t -> ('-> 'b t) -> 'b t
      val ( >>| ) : 'a t -> ('-> 'b) -> 'b t
      module Monad_infix :
        sig
          val ( >>= ) : 'a t -> ('-> 'b t) -> 'b t
          val ( >>| ) : 'a t -> ('-> 'b) -> 'b t
        end
      val bind : 'a t -> ('-> 'b t) -> 'b t
      val return : '-> 'a t
      val map : 'a t -> f:('-> 'b) -> 'b t
      val join : 'a t t -> 'a t
      val ignore_m : 'a t -> unit t
      val all : 'a t list -> 'a list t
      val all_ignore : unit t list -> unit t
    end
end