static <A, B> Alt<A, B> alt1(A a) {
  ret new Alt(1, a);
}