static <A, B> bool checkFunctionOnPairs(O f, L<Pair<A, B>> tests) {
  for (Pair p : tests)
    try { if (neq(callF(f, p.a), p.b)) false; } catch { false; }
  true;
}