static <A extends B, B> L<B> nuLike wideningListCast(Class<B> c, L<A> l) {
  ret (L) l;
}