sig
  type t
  type 'a u
  val call : ('a -> 'b Uwt.C_worker.u -> Uwt.C_worker.t) -> 'a -> 'b Lwt.t
end