static <A> L<A> filterByDynamicType(Collection<A> c, S type) {
  new L<A> l;
  for (A x : c)
    if (eq(dynamicClassName(x), type))
      l.add(x);
  ret l;
}