static <A> VF1<A> toVF1(IVF1<A> f) {
  ret ivf1ToVF1(f);
}