static <A> A getSingleton(L<A> l) {
  assertEquals(1, l(l));
  ret first(l);
}

static <A> A getSingleton(A[] l) {
  assertEquals(1, l(l));
  ret first(l);
}