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