sig
  type 'a t
  val bind :
    'a Pvem.DEFERRED.t -> ('a -> 'b Pvem.DEFERRED.t) -> 'b Pvem.DEFERRED.t
  val return : 'a -> 'a Pvem.DEFERRED.t
  val catch :
    (unit -> 'a Pvem.DEFERRED.t) ->
    (exn -> 'a Pvem.DEFERRED.t) -> 'a Pvem.DEFERRED.t
end