static <A> L<A> listInConcept(Concept c, L<A> l) {
  ret new ListInConcept(l, c);
}

static <A> L<A> listInConcept(Concept c) {
  ret new ListInConcept(new L, c);
}