static <A> ArrayList<A> list(A[] a) {
  ret asList(a);
}

static ArrayList<Integer> list(int[] a) {
  ret asList(a);
}

static <A> ArrayList<A> list(Set<A> s) {
  ret asList(s);
}