static <A> L<A> dropMatchingPrefixList(L<A> l, L<A> b) {
  int toDrop = 0;
  while (toDrop < l(l) && eq(get(l, toDrop), get(b, toDrop)))
    ++toDrop;
  ret dropFirst(toDrop, l);
}