static <A> L<A> assertLength(int length, L<A> l) {
  assertEquals(length, l(l));
  ret l;
}

static S assertLength(int length, S s) {
  assertEquals(s, length, l(s));
  ret s;
}

static S assertLength(S s, int length) {
  ret assertLength(length, s);
}