static <A> IterableIterator<L<A>> listPrefixes_notEmpty(L<A> l) {
  ret iff(func {
    for (int i = 1; i < l; i++)
      cloneSubList(l, 0, i);
}