static <A> bool listEndsWithList(L<A> a, L<A> b) {
  ret eq(takeLast_virtual(la), lb);
}