static <A> Chain<A> chainPlus(Chain<A> chain, A a) {
  ret Chain<A>(chain, a);
}