sig
  type ('l, 'r) t = Left of 'l | Right of 'r
  val _Left : 'a -> ('a, 'b) Either.t
  val _Right : 'a -> ('b, 'a) Either.t
  val bind : ('a -> ('p, 'b) t) -> ('p, 'a) t -> ('p, 'b) t
  val pure : 'a -> ('p, 'a) t
  val ap : ('p, 'a -> 'b) t -> (unit -> ('p, 'a) t) -> ('p, 'b) t
  val map : ('a -> 'b) -> ('p, 'a) t -> ('p, 'b) t
  val ( >|= ) : ('p, 'a) t -> ('a -> 'b) -> ('p, 'b) t
  val replace : 'a -> ('p, 'b) t -> ('p, 'a) t
  val void : ('p, 'a) t -> ('p, unit) t
  val ap' : ('p, 'a -> 'b) t -> ('p, 'a) t -> ('p, 'b) t
  val ( <*> ) : ('p, 'a -> 'b) t -> ('p, 'a) t -> ('p, 'b) t
  val ( <~> ) : ('p, 'a -> 'b) t -> (unit -> ('p, 'a) t) -> ('p, 'b) t
  val discard_left : ('p, 'a) t -> (unit -> ('p, 'b) t) -> ('p, 'b) t
  val discard_right : ('p, 'a) t -> (unit -> ('p, 'b) t) -> ('p, 'a) t
  val repeat : int -> ('p, 'a) t -> ('p, 'a list) t
  val repeat_ : int -> ('p, 'a) t -> ('p, unit) t
  val forever : ('p, 'a) t -> ('p, 'b) t
  val ( >>= ) : ('p, 'a) t -> ('a -> ('p, 'b) t) -> ('p, 'b) t
  val join : ('p, ('p, 'a) t) t -> ('p, 'a) t
  val mcompose : ('b -> ('p, 'c) t) -> ('a -> ('p, 'b) t) -> 'a -> ('p, 'c) t
  val bimap :
    ('a -> 'b) -> ('c -> 'd) -> ('a, 'c) Either.t -> ('b, 'd) Either.t
  val fold : ('a -> 'b) -> ('c -> 'b) -> ('a, 'c) Either.t -> 'b
  val swap : ('a, 'b) Either.t -> ('b, 'a) Either.t
  val maybe_left : ('a, 'b) Either.t -> 'a option
  val maybe_right : ('a, 'b) Either.t -> 'b option
end