srecord noeq ListFromFunction<A>(int n, IF1<Int, A> f) extends RandomAccessAbstractList<A> {
  public int size() { ret n; }
  public A get(int i) { ret f.get(i); }
}

static <A> L<A> listFromFunction(int n, IF1<Int, A> f) {
  ret new ListFromFunction<A>(n, f);
}

static <A> L<A> lambdaMapLike listFromFunction(IF1<Int, A> f, int n) {
  ret new ListFromFunction<A>(n, f);
}