// TODO: what if case not solved?
static F1 quickSolveToFunction(S... ioioi) {
  O solver = defaultSolver();
  lock defaultSolver_lock;
  fO case = call(solver, "quickSolve", (O) ioioi);
  ret new F1 {
    O get(O in)  {
      ret call(case, 'processIn, in);
    }
  };
}