static <A> ReverseChain<A> revChainPlus(ReverseChain<A> chain, A a) {
  ret ReverseChain<A>(chain, a);
}