static <A, B> Alt<A, B> alt2(B b) {
  ret new Alt(2, b);
}