srecord IfThenElse1<A>(IF0<Bool> condition, IF0<A> trueBranch, IF0<A> falseBranch) implements IF0<A> {
  public A get() {
    ret condition! ? trueBranch! : falseBranch!;
  }
}