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