sclass TypedArrayList<A> extends RandomAccessAbstractList<A> {
  new L l;
  Class<A> type;

  *() {}
  *(Class<A> *type) {}
  
  public bool add(A a) {
    assertIsInstance(type, a);
    ret l.add(a);
  }
  
  public int size() { ret l.size(); }
  
  public A get(int i) {
    ret l.get(i);
  }

  [add more delegates here]
}