static <A> A evalInQ_first(Q q, final F0<A> f) {
  if (isInQ(q)) ret callF(f);
  
  final new Var<Either<A, Throwable>> var;
  
  q.addInFront(r {
    try {
      var.set(main.<A, Throwable> eitherA(callF(f)));
    } catch e {
      var.set(main.<A, Throwable> eitherB(e));
    }
  });
  
  ret returnOrThrow_either(waitForVarToBeNotNull(var));
}