// persistable version
static L dm_synchroList(DynModule mod) {
  ret new DMSynchroList(mod);
}

// these are not persistable
static <A> L<A> dm_synchroList(DynModule mod, L<A> list) {
  ret listWithNotify(list, r { mod.change() });
}

static <A> L<A> dm_synchroList(L<A> list) {
  ret dm_synchroList(dm_current_mandatory(), list);
}