static <A> A dm_evalInQ(F0<A> f) {
  ret dm_evalInQ(dm_current_mandatory(), f);
}

static <A A dm_evalInQ(DynModule module, F0<A> f) {
  ret evalInQ(module.q(), f);
}