static <A> A ifThenElse(bool b, A trueValue, A falseValue) {
  ret b ? trueValue : falseValue;
}