// TODO: base on AbstractList to speed up subList().clear()
// Note: We just assume the wrapped list is RandomAccess;
// technically we should have 2 separate classes.
persistable abstract sclass NotifyingList<A> extends NotifyingCollection<A> is L<A>, RandomAccess {
  L<A> list;
  
  *(List<A> *list) {
    super(list);
  }
  
  public L<A> subList(int i, int j) { throw todo(); }
  
  protected void setInnerList(L<A> list) {
    c = this.list = list;
  }
  
  void init { setInnerList(new L); }
  void initAndAddAll(Cl<A> l) { init(); addAll(l); }
  
  !include #1012666
}

Began life as a copy of #1009406