sig
  type ('a, 'b) t
  val return : 'a -> ('a, 'b) Pvem.ERROR_MONAD.t
  val bind :
    ('a, 'b) Pvem.ERROR_MONAD.t ->
    ('a -> ('c, 'b) Pvem.ERROR_MONAD.t) -> ('c, 'b) Pvem.ERROR_MONAD.t
  val ( >>= ) :
    ('a, 'b) Pvem.ERROR_MONAD.t ->
    ('a -> ('c, 'b) Pvem.ERROR_MONAD.t) -> ('c, 'b) Pvem.ERROR_MONAD.t
  val fail : 'b -> ('a, 'b) Pvem.ERROR_MONAD.t
  val map :
    ('a, 'b) Pvem.ERROR_MONAD.t -> ('a -> 'c) -> ('c, 'b) Pvem.ERROR_MONAD.t
  val ( >>| ) :
    ('a, 'b) Pvem.ERROR_MONAD.t -> ('a -> 'c) -> ('c, 'b) Pvem.ERROR_MONAD.t
  val destruct :
    ('a, 'b) Pvem.ERROR_MONAD.t ->
    ([> `Error of 'b | `Ok of 'a ] -> ('c, 'd) Pvem.ERROR_MONAD.t) ->
    ('c, 'd) Pvem.ERROR_MONAD.t
  val ( >>< ) :
    ('a, 'b) Pvem.ERROR_MONAD.t ->
    ([> `Error of 'b | `Ok of 'a ] -> ('c, 'd) Pvem.ERROR_MONAD.t) ->
    ('c, 'd) Pvem.ERROR_MONAD.t
end