sig
  type 'a t = { execution_context : Execution_context.t; run : 'a -> unit; }
end