sbool checkCondition(O condition, O... args) {
  return isTrue(callF(condition, args));
}

static <A> bool checkCondition(IF1<A, Bool> condition, A arg) {
  return isTrue(callF(condition, args));
}