type  = impl : Future<Output = Result<(), Vec<GlobalId>>>;